ARM: Enable caches38/338/2
commite4fa9802cba4cc51d81c745c96e847658943a14e
authorLionel Sambuc <lionel.sambuc@gmail.com>
Sun, 10 Feb 2013 19:20:14 +0000 (10 20:20 +0100)
committerLionel Sambuc <lionel@minix3.org>
Mon, 18 Feb 2013 08:08:26 +0000 (18 09:08 +0100)
treed51b932a78255db64da90dbe95846b3bbb2bc408
parentb36292e2329cb705352fa5f81d998d8bee8835db
ARM: Enable caches

First round, some more optimizations are possible and should be
activated.

Change-Id: I3b7dee7c82fbffd823a08bec1c5d5ebcf769f92f
kernel/arch/earm/arch_system.c
kernel/arch/earm/memory.c
kernel/arch/earm/pg_utils.c
kernel/arch/i386/pg_utils.c
servers/vm/arch/i386/pagetable.c
servers/vm/arch/i386/pagetable.h
servers/vm/region.c
servers/vm/utility.c