1#!/bin/sh 2 3echo "/* Autogenerated file, don't edit */" 4echo "#ifndef BIOS_OFFSETS_H" 5echo "#define BIOS_OFFSETS_H" 6 7echo "" 8echo "#define BIOS_ENTRY_SIZE(name) (name##_end - name)" 9echo "" 10 11nm bios.bin.elf | grep ' [Tt] ' | awk '{ print "#define BIOS_OFFSET__" $3 " 0x" $1; }' 12 13echo "" 14echo "#endif" 15