From 2d9d2949fd612e11cf8da116209506d5b8b8ca97 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 7 Jul 2015 23:50:37 +0200
Subject: [PATCH] enable KVM support

---
 hermit/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/hermit/Makefile b/hermit/Makefile
index b7e3556d8..4dd09144b 100644
--- a/hermit/Makefile
+++ b/hermit/Makefile
@@ -31,7 +31,8 @@ NASM = nasm
 NASMFLAGS = -felf64 -g -i$(TOPDIR)/include/hermit/
 GDB = $(CROSSCOMPREFIX)gdb
 GDBFLAGS = -x debug.gdb
-QEMU = qemu-system-x86_64
+#QEMU = qemu-system-x86_64
+QEMU = qemu-kvm -cpu host
 QEMUFLAGS = -smp 2 -monitor stdio \
 	    -net nic,model=rtl8139 \
 	    -net user,hostfwd=tcp::12345-:7