Add support for 32bit PCI BIOS entry.

[seabios.git] / src / config.h

diff --git a/src/config.h b/src/config.h
index cf5678d1b525fbf924e022961f8b61a8ab8a9b7c..1450bf7d0c2c368e887a6be78dae041131d8b193 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -192,6 +192,7 @@
 #define DEBUG_ISR_hwpic2 5
 #define DEBUG_HDL_pnp 1
 #define DEBUG_HDL_pmm 1
+#define DEBUG_HDL_pcibios32 9
 
 #define DEBUG_unimplemented 2
 #define DEBUG_invalid 3