>>>>> "Sriram" == Sriram via Devel <[email protected]> writes:
Sriram> Greetings, We built hello world program and recieved exact Sriram> output as given in the tutorial while booting. Then we built Sriram> the seL4 CamKes VM Linux and Optiplex 9020 for x86_64 platform Sriram> and got the following results while booting through usb using If you have only a single VM, then this should work. If it doesn't, check your serial cable. 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 -- [email protected] To unsubscribe send an email to [email protected]
