[seL4] R: DIFFICULTY RUNNING SEL4TEST ON RASPBERRY PI 4 REV 1.5 4GB

Attachments:

• raspi4_cpuinfo.txt (text/plain — 757 bytes)
• uboot-printenv.txt (text/plain — 1.7 KB)
• uboot-try-sel4-startup.txt (text/plain — 1.5 KB)