genode/dde_ipxe/src/lib/dde_ipxe
Christian Helmuth b91c06feb7 dde_ipxe: explicitly support x86_64
Fixes some obvious warnings and (maybe) hidden bugs.
2012-10-22 17:01:01 +02:00
..
include dde_ipxe: use recent iPXE upstream version 2012-10-22 17:01:01 +02:00
dde.c dde_ipxe: explicitly support x86_64 2012-10-22 17:01:01 +02:00
dde_support.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
dummies.c dde_ipxe: use recent iPXE upstream version 2012-10-22 17:01:01 +02:00
local.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
nic.c dde_ipxe: use recent iPXE upstream version 2012-10-22 17:01:01 +02:00