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.ch...@data61.csiro.au wrote: >>>>>> "Steven" == Steven Johnston <steve.johns...@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) > _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
