>>>>> "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. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
