genode/dde_ipxe/include/dde_ipxe
..
nic.h