1TEMPLATE_NAME=elf 2SCRIPT_NAME=elf64bpf 3BIG_OUTPUT_FORMAT="elf64-bpfbe" 4LITTLE_OUTPUT_FORMAT="elf64-bpfle" 5OUTPUT_FORMAT="$LITTLE_OUTPUT_FORMAT" 6ARCH=bpf 7MACHINE= 8TARGET_PAGE_SIZE=0x1000 9# XXX this is arbitrary, for now 10TEXT_START_ADDR=0x00400000 11EMBEDDED=yes 12