#include <fs/fat.h>
#include <fs/ntfs.h>
#include <fs/iso.h>
+#include <fs/pxe.h>
/* ui support */
#include <ui/gui.h>
#include <ui/minitui.h>
#include <arch/i386/machpc.h>
#include <arch/i386/machxbox.h>
#include <arch/i386/miscboot.h>
+#include <arch/i386/pxe.h>
#include <internal/i386/intrin_i.h>
#elif defined(_M_PPC)
#include <arch/powerpc/hardware.h>
#include <comm.h>
/* Swap */
#include <bytesex.h>
+/* Internal shared PCI header */
+#include <drivers/pci/pci.h>
VOID BootMain(LPSTR CmdLine);
VOID RunLoader(VOID);