/* This is the master header for all device drivers. It includes some other * files and defines the principal constants. */ #define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */ #define _MINIX 1 /* tell headers to include MINIX stuff */ #define _SYSTEM 1 /* get negative error number in */ /* The following are so basic, all the *.c files get them automatically. */ #include /* MUST be first */ #include /* MUST be second */ #include #include #include #include #include #include #include #include #include #include #include /* IRQ vectors and miscellaneous ports */ #include /* BIOS index numbers */ #include /* Well-known ports */ #include #include #include #include #include #include #include