Quick hack to get image booting working again
[people/dverkamp/gpxe.git] / src / include / usr /
drwxr-xr-x   ..
-rw-r--r-- 152 autoboot.h
-rw-r--r-- 179 dhcpmgmt.h
-rw-r--r-- 296 ifmgmt.h
-rw-r--r-- 433 imgmgmt.h
-rw-r--r-- 147 route.h