On 2/5/20, abdi mahmud haji 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.