From 4bd3ec7db082a7c4040783acdc08c248576d5507 Mon Sep 17 00:00:00 2001
From: Dominik Picheta <dominikpicheta@googlemail.com>
Date: Mon, 3 Sep 2012 19:44:25 +0100
Subject: Fixes bootstrapping.

Config file for koch; -d:booting.
---
 koch.nimrod.cfg | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 koch.nimrod.cfg

diff --git a/koch.nimrod.cfg b/koch.nimrod.cfg
new file mode 100644
index 000000000..1d7acf579
--- /dev/null
+++ b/koch.nimrod.cfg
@@ -0,0 +1 @@
+-d:booting
\ No newline at end of file
-- 
cgit 1.4.1-2-gfad0