[NTOSKRNL/GCC]

- Use 0x00800000 as base address. This doesn't change anything (still loaded at 0x80800000) and it produces debug symbols that GDB can understand
[CMAKE]
 - Get back to using DWARF2 symbols. They are a lot bigger, but at least they work
Now GDB can be used to source-level debug ntoskrnl.

svn path=/trunk/; revision=64128

reactos/cmake/gcc.cmake

@@ -68,7 +68,7 @@ endif()
 
 # Debugging
 if(SEPARATE_DBG)
-    add_compile_flags("-gdwarf-4 -fvar-tracking-assignments")
+    add_compile_flags("-gdwarf-2 -ggdb")
 else()
     add_compile_flags("-gdwarf-2 -gstrict-dwarf")
     if(NOT CMAKE_C_COMPILER_ID STREQUAL "Clang")

reactos/ntoskrnl/CMakeLists.txt

@@ -30,7 +30,7 @@ set_subsystem(ntoskrnl native)
 if(MSVC)
     set_image_base(ntoskrnl 0x00400000)
 else()
-    set_image_base(ntoskrnl 0x80800000)
+    set_image_base(ntoskrnl 0x00800000)
 endif()
 
 target_link_libraries(ntoskrnl