Hi,
Im new to SeL4 and figuring out how to get input from a keyboard and print it as of now What api calls do I use and How to do it
seL4 is just (micro-)kernel, so there is no real I/O API. There are the seL4_DebugPutChar()seL4_DebugGetChar()syscalls for debug purposes, that are usually mapped to a UART, The standard runtime library for application provides a printf() implementation that uses them is not dedicates driver is set up. In general, on top of the seL4 kernel, it takes drivers (and driver stacks in case of e.g. USB) then to implement input and output channels. Furthermore, for display output a GUI framework is needed Details are subject to an OS personality you plan to use - or have to implement it yourself. To get started with seL4 there, I suggest reading https://docs.sel4.systems/GettingStarted and then doing the tutorials from https://docs.sel4.systems/Tutorials. A list of existing components that might be useful for you can be found at https://docs.sel4.systems/projects/available-user-components.html Axel _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
