On 2/5/20, abdi mahmud haji <[email protected]> wrote: > hi everybody > i have quick questions regarding how can you take an input form terminal in > seL4,i am trying to run a simple code of my own on sel4 and to display a > message we use printf(), why scanf() is not working for me the way printf > work.is there another way to do that > The kernel console driver is only really intended for debugging and early boot and is output-only AFAIK. You'll need a user-mode serial (or keyboard if you want a graphical console) driver for input.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
