From f8931b8774e6d587504a790b73cb6452d1fafc8a Mon Sep 17 00:00:00 2001
From: Amine Khaldi <amine.khaldi@reactos.org>
Date: Sat, 11 Oct 2014 13:43:02 +0000
Subject: [PATCH] [NTOS] * Set the base address to 0x00800000 only in gdb mode,
 otherwise use the correct one.

svn path=/trunk/; revision=64667
---
 reactos/ntoskrnl/CMakeLists.txt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/reactos/ntoskrnl/CMakeLists.txt b/reactos/ntoskrnl/CMakeLists.txt
index 7f5a1d8888a..86d62e7cc89 100644
--- a/reactos/ntoskrnl/CMakeLists.txt
+++ b/reactos/ntoskrnl/CMakeLists.txt
@@ -30,7 +30,11 @@ set_subsystem(ntoskrnl native)
 if(MSVC)
     set_image_base(ntoskrnl 0x00400000)
 else()
-    set_image_base(ntoskrnl 0x00800000)
+    if(GDB)
+        set_image_base(ntoskrnl 0x00800000)
+    else()
+        set_image_base(ntoskrnl 0x80800000)
+    endif()
 endif()
 
 target_link_libraries(ntoskrnl