commit 169edc5c49a9dd36938c9580223f858839d0011e
Author: Mikaël Cluseau <mcluseau@isi.nc>
Date:   Wed Feb 6 14:34:03 2019 +1100

    initial commit

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..d4f12e3
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+/output
+/chroot
diff --git a/assets/build-image b/assets/build-image
new file mode 100755
index 0000000..7c378b7
--- /dev/null
+++ b/assets/build-image
@@ -0,0 +1,42 @@
+#! /bin/bash
+
+set -ex
+
+out=/output/grub-intel.raw
+
+if [ -e $out ]; then
+    rm $out
+fi
+
+# create the file
+truncate -s2100M $out
+
+# partition it
+sgdisk \
+		--new=0:4096:+2G --typecode=0:EF00 -c 0:boot   \
+		--new=0:0:+2M --typecode=0:EF02 -c 0:BIOS-BOOT \
+		--hybrid=1:2 --print $out
+
+dev=$(losetup --find --show --partscan $out)
+trap "losetup -d $dev" EXIT
+
+devmap=/tmp/devmap
+cat >$devmap <<EOF
+(hd0) $dev
+EOF
+
+# format filesystems
+mkfs.vfat -n BLKBOOT ${dev}p1
+
+# mount
+mkdir -p /mnt
+(
+mount ${dev}p1 /mnt
+trap "umount /mnt" EXIT
+
+mkdir -p /mnt/grub
+cp /assets/grub.cfg /mnt/grub
+
+grub-install --target=i386-pc --boot-directory=/mnt $dev
+grub-install --target=x86_64-efi --removable --boot-directory=/mnt --efi-directory=/mnt
+)
diff --git a/assets/grub.cfg b/assets/grub.cfg
new file mode 100644
index 0000000..1d61edc
--- /dev/null
+++ b/assets/grub.cfg
@@ -0,0 +1,11 @@
+search --no-floppy --set=root --part-label boot --hint $root
+
+insmod all_video
+set timeout=3
+
+set bootdev=PARTNAME=boot
+
+menuentry "Direktil" {
+    linux  /current/vmlinuz direktil.boot=$bootdev
+    initrd /current/initrd
+}
diff --git a/build-chroot b/build-chroot
new file mode 100755
index 0000000..ead34c2
--- /dev/null
+++ b/build-chroot
@@ -0,0 +1,18 @@
+#! /bin/bash
+
+set -ex
+
+if ! [ -d chroot ]; then
+    mkdir chroot
+    debootstrap --arch amd64 testing chroot http://http.debian.net/debian/
+fi
+
+if ! [ -e chroot/usr/sbin/grub-mkconfig ]; then
+    chroot chroot <<EOF
+set -ex
+apt-get update
+yes |apt-get install -y grub2 grub-efi-amd64-bin grub-pc-bin gdisk dosfstools
+EOF
+fi
+
+rsync -av --delete assets chroot
diff --git a/enter-chroot b/enter-chroot
new file mode 100755
index 0000000..3cf1c39
--- /dev/null
+++ b/enter-chroot
@@ -0,0 +1,19 @@
+#! /bin/bash
+
+cleanup() {
+    umount -R chroot
+}
+
+set -ex
+
+mkdir -p chroot/{dev,proc,sys,output} output
+
+mount --bind chroot chroot
+mount --bind output chroot/output
+mount --bind /dev   chroot/dev
+mount --bind /proc  chroot/proc
+mount --bind /sys   chroot/sys
+
+trap cleanup EXIT
+
+chroot chroot "$@"