[ros-diffs] [jgardou] 64128: [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 ...