sel4 Kernel EGA Simple test project to use EGA Text display This project is inspired by : https://github.com/jm--/seL4Examples/