Reto Buerki 1b3871a3f0 hw_x86_64: Move exception_entry to 0xffff0000 ... The location in memory is arbitrary but we use the same address as the ARM architecture. Adjust references to virtual addresses in the mode transition pages to cope with 64-bit values.		2015-03-27 11:53:30 +01:00
..
kernel	hw: Drop unnecessary include in pd.h	2015-03-27 11:53:16 +01:00
spec	hw_x86_64: Move exception_entry to 0xffff0000	2015-03-27 11:53:30 +01:00
assert.h
board.h	hw: rename Kernel::Processor Kernel::Cpu	2014-11-28 12:02:35 +01:00
core_rm_session.h
cpu_thread_allocator.h
irq_session_component.h	hw: enable destruction of IRQ sessions	2015-03-27 11:53:13 +01:00
map_local.h	hw: map a dataspace in core according to its flags	2014-07-24 10:18:06 +02:00
page_flags.h	hw: map a dataspace in core according to its flags	2014-07-24 10:18:06 +02:00
page_slab.h
platform_pd.h	hw: LPAE for Cortex a15 (fix #1387)	2015-02-16 13:40:37 +01:00
platform_thread.h	hw: extend warning messages to ease debugging	2015-03-27 11:53:13 +01:00
platform.h	hw: rename Kernel::Processor Kernel::Cpu	2014-11-28 12:02:35 +01:00
signal_root.h
signal_session_component.h
trustzone.h	hw: refactor irq controllers	2015-02-27 11:43:56 +01:00
util.h	hw: provide 'bool aligned' function in util.h	2014-08-15 10:19:48 +02:00
vm_root.h	hw: map a dataspace in core according to its flags	2014-07-24 10:18:06 +02:00