+ EM_BPF = 0xeb9f, // Linux kernel bpf virtual machine
Great, can that be assumed the final magic e_machine number for the ELF header that eBPF loaders can check for as well then (I do like 0xeb9f ;))?
I'm quite fond of 0xeb9f myself. ;-)
I have sent a message to both registry@... and registry@.... We'll see if that produces a response within a reasonable time frame. Failing that, I'm tempted to just use 0xeb9f forever.