fiasco: add a script to setup builddir into build/l4-obj

diff --git a/prepare-l4.sh b/prepare-l4.sh
new file mode 100755 (executable)
index 0000000..6d28f89
--- /dev/null
+++ b/prepare-l4.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+set -x
+#set -e
+
+PROJ_DIR=$(pwd)
+
+cd $PROJ_DIR/l4/kernel/fiasco
+make BUILDDIR=$PROJ_DIR/build/l4-obj/kernel
+
+cd $PROJ_DIR/build/l4-obj/kernel
+make config
+make
+
+cd $PROJ_DIR/l4/l4
+L4RE_OBJ_DIR=$PROJ_DIR/build/l4-obj/l4
+make B=$L4RE_OBJ_DIR
+make O=$L4RE_OBJ_DIR config
+make O=$L4RE_OBJ_DIR
+
+echo done!