9 Jun
2022
9 Jun
'22
9:14 a.m.
"Sriram" == Sriram via Devel devel@sel4.systems writes:
Sriram> We are facing certain issues as follows:
Sriram> - Booting via flashdrive, Output on Screen shows "Loading sel4 Sriram> OK","Loading rootserver OK" and no other output in display, we Sriram> recieved junk values using serial port Output.
You do not say what payload you are booting. I strongly suggest getting seL4test running on your system before trying to run a VM.
'junk values' on the serial output implies your serial terminal is misconnected or not at the right baud rate.
If you boot your system into Linux, then do stty 115200 < /dev/ttyS0 yes > /dev/ttyS0 as root, you will get output on the serial terminal you can use to debug this.
Peter C
--
Dr Peter Chubb https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.