#!/bin/sh
set -e

cat <<EOF
function linuxefi {
    linux "\$@"
}

function initrdefi {
    initrd "\$@"
}
EOF
