From 69bb0a6a1c7a537994096d9c50b343fac8382c09 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 26 May 2016 10:00:25 +0200
Subject: [PATCH] add option to print VMA information

---
 hermit/arch/x86/kernel/apic.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c
index 208fc26f9..fa6d77c87 100644
--- a/hermit/arch/x86/kernel/apic.c
+++ b/hermit/arch/x86/kernel/apic.c
@@ -815,6 +815,7 @@ void shutdown_system(void)
 	if (if_bootprocessor) {
 		kprintf("Try to shutdown HermitCore\n");
 
+		//vma_dump();
 		dump_pstate();
 
 		while(atomic_int32_read(&cpu_online) != 1)