[Timers] Do not enable serial console by default; this change should not
[people/dverkamp/gpxe.git] / src / drivers / bus / pciextra.c
index 5d81500..4603bcb 100644 (file)
@@ -1,4 +1,3 @@
-#include <stdio.h>
 #include <stdint.h>
 #include <gpxe/pci.h>