From 66ba8079c7e376c189ccb3367b8d13825141b8ec Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Tue, 9 Aug 2011 21:37:35 -0400 Subject: Use static page table for boot, mapping first 4Mbyte; no more segment trick Allocate proper kernel page table immediately in main using boot allocator Remove pginit Simplify address space layout a tiny bit More to come (e.g., superpages to simplify static table) --- memlayout.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'memlayout.h') diff --git a/memlayout.h b/memlayout.h index 6c44db2..1496678 100644 --- a/memlayout.h +++ b/memlayout.h @@ -5,8 +5,7 @@ #define KSTKSIZE (8*PGSIZE) // size of a kernel stack -#define IOSPACEB 0x0A0000 // begin IO space -#define IOSPACEE 0x100000 // end IO space +#define DEVSPACE 0xFE000000 // other devices are in the top of the phys address space #define PHYSTOP 0xE000000 // use phys mem up to here as free pool // Key addresses for address space layout (see kmap in vm.c for the layout) -- cgit v1.2.3