ether: Add a field for the driver_name
[akaros.git] / scripts / etherboot / fixincludes
2014-01-26 Ronald G. MinnichThe 8169 and mii from gpxe now build