From 6314f26c668509eaf0e38f057c7e72faa6d7cf72 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <stlankes@users.noreply.github.com>
Date: Fri, 26 Aug 2016 19:57:36 +0200
Subject: [PATCH] add missing alignment

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

diff --git a/hermit/arch/x86/kernel/entry.asm b/hermit/arch/x86/kernel/entry.asm
index cd5af54a7..3b431a11f 100644
--- a/hermit/arch/x86/kernel/entry.asm
+++ b/hermit/arch/x86/kernel/entry.asm
@@ -654,6 +654,7 @@ Lgo3:
     iretq
 
 global is_single_kernel
+align 64
 is_single_kernel:
     mov eax, DWORD [single_kernel]
     ret