6 commits

Author	SHA1	Message	Date
Lionel Sambuc	e4fa9802cb	ARM: Enable caches ... First round, some more optimizations are possible and should be activated. Change-Id: I3b7dee7c82fbffd823a08bec1c5d5ebcf769f92f	2013-02-18 09:08:26 +01:00
Ben Gras	6cf98dbe00	vm: reduce noise in merged pagetable.c	2012-11-09 19:00:46 +01:00
Ben Gras	3771a0833d	vm: merge i386 and arm pagetable code	2012-11-09 18:46:03 +01:00
Arun Thomas	7ca1ce7968	VM: Add PTF_READ page table flag	2012-08-17 00:17:52 +02:00
Ben Gras	5c17d5e02f	vm: include no-caching bits in PTF_ALLFLAGS for flags sanity check.	2010-04-13 11:08:08 +00:00
Arun Thomas	436d6012a3	Convert drivers/ and servers/ over to bsdmake ... -Move libdriver to lib/ -Install all boot image services on filesystem to aid restartability	2010-03-22 21:25:22 +00:00

Renamed from servers/vm/i386/pagetable.h (Browse further)