minix/servers/vm/arch/i386/Makefile.inc