Added PCI driver

diff --git a/tools/Makefile b/tools/Makefile
index 94811ce99eb3acd05de5b8123f0a36fdde835926..8809ba4f68dbeb9f3c75f2d80079636cdf287e18 100755 (executable)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -22,6 +22,7 @@ PROGRAMS=     ../kernel/kernel \
        AT:../drivers/at_wini/at_wini \
        BIOS:../drivers/bios_wini/bios_wini \
        FLOPPY:../drivers/floppy/floppy \
+       ../drivers/pci/pci \
        ../servers/init/init \
 #      bootdev.img