--- Gnu-Mach/i386/i386at/i386at_ds_routines.c	2020/09/02 04:36:58	1.1.1.1
+++ Gnu-Mach/i386/i386at/i386at_ds_routines.c	2020/09/02 04:42:11	1.1.1.2
@@ -35,7 +35,10 @@
 
 #include <i386at/dev_hdr.h>
 #include <i386at/device_emul.h>
-#include <i386/device-drivers.h>
+
+#ifdef LINUX_DEV
+#include <i386/linux/device-drivers.h>
+#endif
 
 extern struct device_emulation_ops mach_device_emulation_ops;
 #ifdef LINUX_DEV