From 86f0f139a94331a32d8de6e55165f5b6787d6df4 Mon Sep 17 00:00:00 2001
From: Rene Gollent <anevilyak@gmail.com>
Date: Fri, 30 Nov 2012 18:23:15 -0500
Subject: [PATCH] Fix kernel build with KDEBUG_LEVEL 0.

---
 src/system/kernel/arch/x86/32/descriptors.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/system/kernel/arch/x86/32/descriptors.cpp b/src/system/kernel/arch/x86/32/descriptors.cpp
index b5bde1d65c..2a957e3e66 100644
--- a/src/system/kernel/arch/x86/32/descriptors.cpp
+++ b/src/system/kernel/arch/x86/32/descriptors.cpp
@@ -17,6 +17,7 @@
 
 #include <boot/kernel_args.h>
 #include <cpu.h>
+#include <int.h>
 #include <tls.h>
 #include <vm/vm.h>
 #include <vm/vm_priv.h>