On 2/5/20, abdi mahmud haji <abdimahmudhaji227(a)gmail.com> wrote:
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.