seL4 helloworld demo

build

$ git clone https://github.com/ooops-t/seL4-demo.git
$ git submodule update --init
$ mkdir build
$ cd build/
$ ../init-build.sh -DPLATFORM=x86_64
$ ninja
$ ./simulate # use `ctrl-a x` to exit