Clear out the BiosTableSpace array on each boot.

This makes sure ctrl-alt-delete doesn't leave left over settings.

diff --git a/src/memmap.c b/src/memmap.c
index 1cc4691f24f7b730092789ab2185d424cf80900c..c56f6f559d30a7bea89fe03661362b56cf99f5fb 100644 (file)
--- a/src/memmap.c
+++ b/src/memmap.c
@@ -126,6 +126,7 @@ add_e820(u64 start, u64 size, u32 type)
 void
 memmap_setup()
 {
+    memset(BiosTableSpace, 0, CONFIG_MAX_BIOSTABLE);
     bios_table_cur_addr = (u32)BiosTableSpace;
     bios_table_end_addr = bios_table_cur_addr + CONFIG_MAX_BIOSTABLE;
     dprintf(1, "bios_table_addr: 0x%08x end=0x%08x\n",