From 13a4625e908b788b9b4be1f17168288c72236815 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Wed, 2 Nov 2016 22:14:02 -0600
Subject: [PATCH] Compile kernel in release mode

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 83c213f..f0a9b2d 100644
--- a/Makefile
+++ b/Makefile
@@ -4,10 +4,10 @@ ARCH?=x86_64
 KTARGET=$(ARCH)-unknown-none
 KBUILD=build/kernel
 KRUSTC=./krustc.sh
-KRUSTCFLAGS=--target $(KTARGET).json -C opt-level=s -C soft-float
+KRUSTCFLAGS=--target $(KTARGET).json -C opt-level=2 -C debuginfo=0 -C soft-float
 KRUSTDOC=./krustdoc.sh
 KCARGO=RUSTC="$(KRUSTC)" RUSTDOC="$(KRUSTDOC)" cargo
-KCARGOFLAGS=--target $(KTARGET).json -- -C opt-level=s -C soft-float
+KCARGOFLAGS=--target $(KTARGET).json --release -- -C soft-float
 
 # Userspace variables
 TARGET=$(ARCH)-unknown-redox