From fa73b14352df475b59c1c79caf49e233e38ef87b Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 16 Jul 2015 21:28:43 +0200
Subject: [PATCH] enable AVX support

---
 hermit/arch/x86/kernel/processor.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 6fca4bbec..fd41d861e 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -209,8 +209,8 @@ int cpu_detection(void) {
 		if (has_sse())
 			xcr0 |= 0x2;
 		if (has_avx())
-			xcr0 |= 0x3;
-		kprintf("Set XCR to 0x%llx\n", xcr0);
+			xcr0 |= 0x4;
+		kprintf("Set XCR0 to 0x%llx\n", xcr0);
 		xsetbv(0, xcr0);
 	}