--- a/kernel/eka/include/nkern/nk_cpu.h Tue Jan 19 13:48:03 2010 +0000
+++ b/kernel/eka/include/nkern/nk_cpu.h Mon Jan 18 21:31:10 2010 +0200
@@ -130,7 +130,7 @@
#endif
#endif
- #if (defined(__CPU_ARM1136__) && defined(__CPU_ARM1136_ERRATUM_399234_FIXED)) || (defined(__CPU_ARM11MP__) && defined (__SMP__) )
+ #if (defined(__CPU_ARM1136__) && defined(__CPU_ARM1136_ERRATUM_399234_FIXED) && !defined(__MEMMODEL_FLEXIBLE__)) || (defined(__CPU_ARM11MP__) && defined (__SMP__) )
// Page tables on these platforms are either uncached or write through cached.
#else
// Page/directory tables are fully cached (write-back) on these platforms.