temp: hack because seL4 is broken

seL4 · Feb 13, 2025 · cd2a653 · cd2a653
1 parent 9a499b3
commit cd2a653
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
@@ -602,7 +602,13 @@ fn kernel_partial_boot(kernel_config: &Config, kernel_elf: &ElfFile) -> KernelPa
     let mut normal_memory = DisjointMemoryRegion::default();
 
     for r in &kernel_config.device_regions {
-        device_memory.insert_region(r.start, r.end);
+        if r.end == 0x80000000 {
+            device_memory.insert_region(r.start, 0x80200000);
+        } else if r.end == 0x40000000 {
+            device_memory.insert_region(r.start, 0x40200000);
+        } else {
+            device_memory.insert_region(r.start, r.end);
+        }
     }
     for r in &kernel_config.normal_regions {
         normal_memory.insert_region(r.start, r.end);