I am truly elated by your swift replies and aid
We have tested RX/TX of the RS-232 serial cable we are using, and its working alright, there is only one VM running. Do we have have to make any changes in the source code or any other files for the communication issues we are having. Thanks and Regards R.Sriram Sent with Proton Mail secure email. ------- Original Message ------- On Monday, June 13th, 2022 at 11:55, Peter Chubb <peter.ch...@unsw.edu.au> wrote: > > > > > > "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
