>>>>> "萧琒" == 萧琒 <[email protected]> writes:
萧琒> Misaligned operation at range [00c9be9c, 00c9bec8] ## Starting 萧琒> application at 0x0082a000 ... 萧琒> Then, RPi3B+ is blocked and without anything else to display ! You should see output on the serial port. seL4test doesn't drive the video output. Please disconnect any displays, and connect your raspi3 to a serial adapter. There are instructions here: https://en.opensuse.org/HCL:Raspberry_Pi3_Serial_Console Peter C -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
