New subject: R: DIFFICULTY RUNNING SEL4TEST ON RASPBERRY PI 4 REV 1.5 4GB

14 Mar 2024


      ...
...
...
...
...
"Mario" == Mario CUSANO mario.cusano@rina.org writes:
Mario> I hope this email finds you well. I am reaching out to seek
Mario> assistance regarding running sel4test on a Raspberry Pi 4
Mario> Rev1.5 4GB.
seL4 is only supported at the moment on the Raspberry Pi 4B with a
BCM2711.  Each build of seL4 is specific to a particular SoC.
The Rev 1.5 has a different SoC.  I don't know if anyone has done
the work to port seL4 to the Rev 1.5 Pi4, which (I think) uses a
BCM2835.
Peter C
-- 
Dr Peter Chubb                https://trustworthy.systems/
Trustworthy Systems Group                        CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.

Re: DIFFICULTY RUNNING SEL4TEST ON RASPBERRY PI 4 REV 1.5 4GB