From 67320feba5ee6631465224804506b062e7f17f70 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 20 Oct 2016 00:09:34 +0200
Subject: [PATCH] enable AVX512 support

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

diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index 4f36f118f..772e27f75 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -503,6 +503,8 @@ int cpu_detection(void) {
 			xcr0 |= 0x2;
 		if (has_avx())
 			xcr0 |= 0x4;
+		if (has_avx512f())
+			xcr0 |= 0xE0;
 		xsetbv(0, xcr0);
 
 		kprintf("Set XCR0 to 0x%llx\n", xgetbv(0));