[seL4] Re: SeL4: Cannot Input after booting VM Linux (x86_64)

...

...

...

...

"Sriram" == Sriram via Devel 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.