seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Not able to input in buildroot camkes-vm-linux

sriram-2 opened this issue · comments

I am trying to boot the camkes-vm-linux but am not able to input anything after Buildroot login
In the general display im getting Loading Rootserver OK, Loading sel4kernel OK and
VM.Linux.Logs.txt
thats it
This is the output as follows in the serial monitor

Starting network[ 0.810972] ip (679) used greatest stack depth: 6732 bytes left
: OK

Failed to locate device consumes_event.
Failed to locate device emits_event.

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

What changes should i do to make it work
Thanks