minix/kernel/arch
2012-06-18 10:53:35 +00:00
..
i386 Use MACHINE_ARCH instead of ARCH 2012-06-18 10:53:35 +00:00