add README

Signed-off-by: taocheng <[email protected]>
ooops-t · Apr 21, 2023 · cd93755 · cd93755
1 parent 6d869e4
commit cd93755
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/README.org b/README.org
@@ -0,0 +1,12 @@
+* seL4 helloworld demo
+
+* build
+#+begin_src shell
+  $ 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
+#+end_src