diff --git a/koch.nimrod.cfg b/koch.nimrod.cfg
new file mode 100644
index 0000000000..1d7acf579c
--- /dev/null
+++ b/koch.nimrod.cfg
@@ -0,0 +1 @@
+-d:booting
\ No newline at end of file