sel4-tutorials icon indicating copy to clipboard operation
sel4-tutorials copied to clipboard

Not able to input in buildroot camkes-vm-linux

Open sriram-2 opened this issue 3 years ago • 0 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

sriram-2 avatar Jul 05 '22 10:07 sriram-2