[seL4] How to Get Input Via Keyboard -SeL4