#!/bin/sh
# TODO:
# should create x86_64 compatible, bios booting ISO