Lionel Sambuc 02deffe6e0 Removing obsolete _MINIX define ... Change-Id: Id33ac7e973d1c0e249b690fe44a597474fac6076		2013-02-25 22:19:20 +01:00
..
Makefile.inc	No more intel/minix segments.	2012-07-15 22:30:15 +02:00
pagetable.c	Removing obsolete _MINIX define	2013-02-25 22:19:20 +01:00
pagetable.h	ARM: Enable caches	2013-02-18 09:08:26 +01:00