Gene Heskett wrote:

> On Thursday 04 April 2019 19:03:46 deloptes wrote:
> 
>> Gene Heskett wrote:
>> > No clue, I built it for the rock64, on the rock64, useing the
>> > patches from the linux-rt mailing list links, but when I asked how
>> > to install it, 3 times �over about as many weeks, and got ignored, I
>> > gave up. Their propaganda says good support, but AFAIWC, there isn't
>> > any. �But the pi is only very marginally better. �Bulding an rt
>> > kernel on the pi is a several hour project, on the rock64 its about
>> > 30 minutes, which amply demo's the difference in speeds. �Too bad I
>> > cannot use it. Neither has any docs available to aid the hacker.
>> > Those are proprietary designs. Run the linux they supply, or go
>> > pound sand.
>>
>> Which one the rock64 or the PI ... I got already confused.
>  
> Both.  I wanted a comparison of build times, both done on the same usb2
> interfaced SSD.  I built it 4.something at the time, on the rock64, for
> arm64 then did a make clean, took the drive to the pi and changed the
> architecture to armhf, and built it on the pi.
> 

https://www.raspberrypi.org/documentation/hardware/raspberrypi/bootmodes/