"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