Re: [seL4] Raspberry Pi3 + seL4

I did do this as part of my testing and saw the same result. I also confirmed the USB-to-serial cable I am using works on another board. Steve On 08/22/2017 05:14 PM, Peter.Chubb@data61.csiro.au wrote:

...

...

...

...

...

"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)