From fe0ec4c531de785e54fd1fb14ebc43f7928b8fc1 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Fri, 5 Aug 2016 19:47:31 +0200
Subject: [PATCH] Cleanup

---
 init/src/boot_16.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/init/src/boot_16.cpp b/init/src/boot_16.cpp
index edaaf895..47bfee61 100644
--- a/init/src/boot_16.cpp
+++ b/init/src/boot_16.cpp
@@ -396,9 +396,9 @@ gdt::gdt_descriptor_t user_data_descriptor(){
 }
 
 //TODO On some machines, this should be aligned to 16 bits
-static gdt::gdt_descriptor_t gdt[8];
+gdt::gdt_descriptor_t gdt[8];
 
-static gdt::gdt_ptr gdtr;
+gdt::gdt_ptr gdtr;
 
 void setup_gdt(){
     //1. Init GDT descriptor