"萧琒" == 萧琒 yuezhen.xyz@alibaba-inc.com 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