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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
