Call PXENV_UNDI_GET_NIC_TYPE to identify NIC physical device.
[people/xl0/gpxe.git] / src / arch / i386 / firmware /
drwxr-xr-x   ..
drwxr-xr-x - pcbios