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
"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.