"Steven" == Steven Johnston steve.johnston@adventiumlabs.com 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)