#!/bin/sh
mkdir -p iso/boot/grub
echo "menuentry \"kernel\" {
multiboot /kernel
}" > iso/boot/grub/grub.cfg
grub-mkrescue -o kernel.iso iso