SeL4: Cannot Input after booting VM Linux (x86_64)
Greetings, We built hello world program and recieved exact output as given in the tutorial while booting. Then we built the seL4 CamKes VM Linux and Optiplex 9020 for x86_64 platform and got the following results while booting through usb using syslinux commands "" Welcome to Buildroot buildroot login: [ 1.431752] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x31015f85297, max_idle_ns: 440795334135 ns [ 1.442241] clocksource: Switched to clocksource tsc [ 2.811817] random: fast init done [ 134.023597] random: crng init done "" After this we are not able to type anything (username and password to login ) We have both VTd and VTx enabled, What changes or approach should be done to solve this. Thanks and Regards R.Sriram
"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.
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.chubb@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.
Hi R.Sriram, I am interested in your question. Have you tried booting your Buildroot environment directly from the bootloader rather than as a VM under seL4? The reason I ask is that we have recently tried to build from Buildroot for a different board (Avnet MaaXBoard - iMX8). This is also with a view to getting a VM running under seL4, although we are not there yet. When booting our Buildroot directly from the bootloader, we get the same symptoms as you. All output is fine to our terminal (using CoolTerm, with a verified cable) up to the Buildroot login prompt, but no input to allow us to login (either typing from the terminal or via a USB keyboard that is connected to the board). I have not managed to fix this yet so I cannot suggest a fix for your problem, but it would be interesting if we have the same issue and it is related to your Buildroot rather than the extra complexity of seL4/VM. Extract below: Starting kernel ... [ 0.000000] Booting Linux on physical CPU 0x0000000000 [0x410fd034] [ 0.000000] Linux version 5.10.35 (markj@markj-VirtualBox) (aarch64-buildroot-linux-uclibc-gcc.br_real (Buildroot 2022.02.2) 10.3.0, GNU ld (GNU Binutils) 2.36.1) #1 SMP PREEMPT Tue Jun 7 15:26:16 BST 2022 ... [ 2.772949] usb-storage 1-1:1.0: USB Mass Storage device detected [ 2.783481] scsi host0: usb-storage 1-1:1.0 [ 2.826269] EXT4-fs (mmcblk0p2): re-mounted. Opts: (null) Starting syslogd: OK Starting klogd: OK Running sysctl: OK Saving random seed: [ 2.896499] random: dd: uninitialized urandom read (512 bytes read) OK Starting network: OK Welcome to Buildroot buildroot login: [ 3.142478] input: Logitech USB Keyboard as /devices/platform/soc@0/38200000.usb/xhci-hcd.5.auto/usb3/3-1/3-1:1.0/0003:046D:C31D.0001/input/input3 [ 3.215848] hid-generic 0003:046D:C31D.0001: input: USB HID v1.10 Keyboard [Logitech USB Keyboard] on usb-xhci-hcd.5.auto-1/input0 [ 3.237359] input: Logitech USB Keyboard Consumer Control as /devices/platform/soc@0/38200000.usb/xhci-hcd.5.auto/usb3/3-1/3-1:1.1/0003:046D:C31D.0002/input/input4 [ 3.311623] input: Logitech USB Keyboard System Control as /devices/platform/soc@0/38200000.usb/xhci-hcd.5.auto/usb3/3-1/3-1:1.1/0003:046D:C31D.0002/input/input5 [ 3.326165] hid-generic 0003:046D:C31D.0002: input: USB HID v1.10 Device [Logitech USB Keyboard] on usb-xhci-hcd.5.auto-1/input1 [ 3.519947] hantro receive hot notification event: 0 [ 3.832886] scsi 0:0:0:0: Direct-Access Kingston DataTraveler 2.0 PMAP PQ: 0 ANSI: 4 Best regards, Mark.
participants (3)
-
mark.jenkinson＠capgemini.com -
Peter Chubb -
Sriram