Lionel Sambuc a8205bfaea Removing obsolete _MINIX define ... Change-Id: Id33ac7e973d1c0e249b690fe44a597474fac6076		2013-02-25 21:44:51 +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 21:44:51 +01:00
pagetable.h	ARM: Enable caches	2013-02-18 09:08:26 +01:00