TEMPLATE_NAME=elf32
SCRIPT_NAME=elf64bpf
BIG_OUTPUT_FORMAT="elf64-bpfbe"
LITTLE_OUTPUT_FORMAT="elf64-bpfle"
OUTPUT_FORMAT="$LITTLE_OUTPUT_FORMAT"
ARCH=bpf
MACHINE=
TARGET_PAGE_SIZE=0x1000
# XXX this is arbitrary, for now
TEXT_START_ADDR=0x00400000
EMBEDDED=yes