>>>>> "Sriram" == Sriram via Devel <devel@sel4.systems> 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
