# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1660315307 -7200
# Node ID 300aef88597b056c269e7b59295e9904690f836c
# Parent  f7c8fe9d968f683581850315539199acc2f773aa
Added an example configuration file for L4Re.

diff -r f7c8fe9d968f -r 300aef88597b conf/Makeconf.boot
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/conf/Makeconf.boot	Fri Aug 12 16:41:47 2022 +0200
@@ -0,0 +1,27 @@
+MODULE_SEARCH_PATH += $(L4DIR_ABS)/../fiasco/mybuild
+MODULE_SEARCH_PATH += $(L4DIR_ABS)/pkg/departure/conf
+MODULE_SEARCH_PATH += $(L4DIR_ABS)/pkg/io/io/config
+BOOTSTRAP_SEARCH_PATH = $(L4DIR_ABS)/../fiasco/mybuild
+BOOTSTRAP_SEARCH_PATH += $(L4DIR_ABS)/pkg/departure/conf
+BOOTSTRAP_SEARCH_PATH += $(L4DIR_ABS)/pkg/io/io/config
+BOOTSTRAP_MODULES_LIST = $(L4DIR_ABS)/conf/modules.list
+
+# For qemu builds:
+
+QEMU_OPTIONS += -nographic
+
+# For debugging:
+
+#QEMU_OPTIONS += -S -s
+
+# For KVM, for when it actually works (need to enable virtualisation in the BIOS):
+
+QEMU_OPTIONS += --enable-kvm
+
+# For SMP support:
+
+#QEMU_OPTIONS += -smp cores=4
+
+# For more memory:
+
+QEMU_OPTIONS += -m 1G