#!/bin/sh

echo "/* Autogenerated file, don't edit */"
echo "#ifndef BIOS_OFFSETS_H"
echo "#define BIOS_OFFSETS_H"

echo ""
echo "#define BIOS_ENTRY_SIZE(name) (name##_end - name)"
echo ""

nm bios.bin.elf | grep ' [Tt] ' | awk '{ print "#define BIOS_OFFSET__" $3 " 0x" $1; }'

echo ""
echo "#endif"