| 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 |