Hi<br>Did anyone try seL3 on raspberry pi 3? I tried following these links:<div>https://research.csiro.au/tsblog/sel4-raspberry-pi-3/</div><div>https://docs.sel4.systems/Hardware/Rpi3.html</div><div>https://inner-haven.net/posts/2017-09-15-sel4-rpi3.html#fnref1</div><div>I set the serial port 115200, 8N1, but I only got some messy codes, I did not get the booting information!</div><div>Did anyone find this cases? Thanks</div><div>Sincerely</div>