kernel: zeroing out new memory allocated by phys_alloc

on the Xeon Phi this memory was sometimes not zeroed out causing
problems with non-empty slots in the CNODES.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/kernel/arch/x86/startup_x86.c b/kernel/arch/x86/startup_x86.c
index db66c48..616fe96 100644 (file)
--- a/kernel/arch/x86/startup_x86.c
+++ b/kernel/arch/x86/startup_x86.c
@@ -73,6 +73,8 @@ static lpaddr_t app_alloc_phys(size_t size)
         panic("Out of memory, increase CORE_DATA_PAGES");
     }
 
+    memset((void*)local_phys_to_mem(addr), 0, npages * BASE_PAGE_SIZE);
+
     return addr;
 }
 
@@ -100,6 +102,9 @@ static lpaddr_t bsp_alloc_phys(size_t size)
     lpaddr_t addr = bsp_init_alloc_addr;
 
     bsp_init_alloc_addr += npages * BASE_PAGE_SIZE;
+
+    memset((void*)local_phys_to_mem(addr), 0, npages * BASE_PAGE_SIZE);
+
     return addr;
 }