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.