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