Bootable multiboot2 kernel

toolchain/gdbinit

@@ -13,4 +13,9 @@ end
 
 define reset
 monitor system_reset
+end
+
+python
+import os
+gdb.execute('file ' + os.environ['BUILDROOT'] + '/sysroot/kernel')
 end

toolchain/setup-grub.sh

@@ -0,0 +1,13 @@
+#!/bin/sh
+
+mkdir -p ${BUILDROOT}/sysroot/boot/grub
+
+cat > ${BUILDROOT}/sysroot/boot/grub/grub.cfg << EOF
+set timeout=1
+set default=0
+
+menuentry "mittos64" {
+    multiboot2 /kernel
+}
+
+EOF