diff cos/kernel/mm.c @ 34:8012221dd740

Fixes for uninitialized data. This causes problems on real machines
author windel
date Mon, 16 Jan 2012 13:46:06 +0100
parents 3a6a9b929db0
children 5c20bd53cccd
line wrap: on
line diff
--- a/cos/kernel/mm.c	Sun Jan 15 13:39:49 2012 +0100
+++ b/cos/kernel/mm.c	Mon Jan 16 13:46:06 2012 +0100
@@ -124,7 +124,6 @@
 void switch_mapping(memmap_t* mapping)
 {
    current_map = mapping;
-   printf("Switching to use of other at %x\n", &mapping->table);
 
    asm volatile("mov %0, %%cr3" :: "r"(&mapping->table));