#!/bin/bash
set -e
$4 $1
echo "Packaging $1 into shadeOS ISO $3"
# mkiso.sh build/src/kernel/shadeOS.bin src/iso/ build/shade.iso check_command
cp $1 $2/boot/shade.bin
grub-mkrescue $2 -o $3