Use domain 0 and map more devices

2 files changed, 1 insertions, 2 deletions

diff --git a/prog/mmu/mmu.c b/prog/mmu/mmu.c
index 041bb07..4e378ee 100644
--- a/prog/mmu/mmu.c
+++ b/prog/mmu/mmu.c
@@ -23,7 +23,7 @@ int main() {
     }
 
     extern char __heap_start__;
-    for (unsigned i = 0; i < 256; i++) {
+    for (unsigned i = 0; i < 512; i++) {
         vm_map((uintptr_t) &__heap_start__ + page_size * i,
                (uintptr_t) &__heap_start__ + page_size * i, 0);
         vm_map(0x20000000 + page_size * i, 0x20000000 + page_size * i, 0);
diff --git a/vm.c b/vm.c
index cbca789..50e8201 100644
--- a/vm.c
+++ b/vm.c
@@ -13,7 +13,6 @@ static void init_second_level(pde_t* pde) {
     memset(pgtbl, 0, 256 * sizeof(pte_small_t));
     pde->addr = (uintptr_t) pgtbl >> 10;
     pde->tag = 0b01;
-    pde->domain = DOM_MANAGER;
 }
 
 static void system_set_cache_control(unsigned reg) {