Re: [seL4] Raspberry Pi3 + seL4

...

...

...

...

"Steven" == Steven Johnston writes:

Steven> I am not deviating from the blog posting but I am experiencing Steven> an issue not mentioned. I have no serial output (I do have a Steven> u-boot terminal prompt through HDMI, so I can load/boot the Steven> binary). When I boot seL4 I receive the misaligned cache Steven> messages (through HDMI) and then it hangs. Without serial I Steven> have no eyes to see if the seL4 tests are running. If you don't see serial output from U-Boot then maybe the wires are around the wrong way on the UART. Try swapping TX and RX wires. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)