Stefan Kalkowski 323de9b229 hw: map kernel text segment read-only ... Fix #2592		2017-12-21 15:01:33 +01:00
..
spec	hw: map kernel text segment read-only	2017-12-21 15:01:33 +01:00
acpi_rsdp.h	hw: provide ACPI infos via platform_info ROM	2017-08-28 16:49:44 +02:00
array.h	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
assert.h	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
boot_info.h	hw: add mbi2 framebuffer support	2017-11-30 11:23:09 +01:00
capability.cc	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
framebuffer.h	hw: add mbi2 framebuffer support	2017-11-30 11:23:09 +01:00
mapping.h	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
memory_map.h	hw: switch page-tables only when necessary	2017-10-19 13:31:18 +02:00
memory_region.h	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
page_flags.h	hw: run core threads in privileged mode	2017-10-19 13:31:17 +02:00
page_table_allocator.h	hw: introduce kernel/user address space split	2017-10-19 13:31:17 +02:00
spin_lock.h	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
util.h	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00