From 1e533b3ad5524d226efcd5c883fa51c132753a11 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Wed, 10 Jan 2018 19:26:33 -0700
Subject: [PATCH] Use fninit in start

---
 src/arch/x86_64/start.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arch/x86_64/start.rs b/src/arch/x86_64/start.rs
index 4f6c7300..5a9f85b8 100644
--- a/src/arch/x86_64/start.rs
+++ b/src/arch/x86_64/start.rs
@@ -231,7 +231,7 @@ pub unsafe fn usermode(ip: usize, sp: usize, arg: usize) -> ! {
          xor r13, r13
          xor r14, r14
          xor r15, r15
-         finit
+         fninit
          pop rdi
          iretq"
          : // No output because it never returns
-- 
GitLab