PCI support in a separate driver

diff --git a/kernel/table.c b/kernel/table.c
index bbff56c7f4159d2965e7a5442b271c376461e75f..13e0540aa7adc6df6c4e5919616db8386e99012e 100755 (executable)
--- a/kernel/table.c
+++ b/kernel/table.c
@@ -107,6 +107,7 @@ PUBLIC struct boot_image image[] = {
  { MEM_PROC_NR,   0, SRV_F,  4,      2, 0,     SRV_T, SYS_M, MEM_C, "memory"},
  { LOG_PROC_NR,   0, SRV_F,  4,      2, 0,     SRV_T, SYS_M, DRV_C, "log"   },
  { DRVR_PROC_NR,  0, SRV_F,  4,      2, 0,     SRV_T, SYS_M, DRV_C, "driver"},
+ { PCI_PROC_NR,   0, SRV_F,  4,      2, 0,     SRV_T, SYS_M, DRV_C, "pci"},
  { INIT_PROC_NR,  0, USR_F,  8, USER_Q, 0,     USR_T, USR_M,     0, "init"  },
 };