genode/repos/base-hw/src/include/hw/spec/x86_64
2020-03-26 11:38:54 +01:00
..
acpi_rsdp.h base-hw: fix compile errors with GCC 8.3.0 2019-05-27 14:46:54 +02:00
acpi.h hw: fix calculation of CPU count on x86_64 2019-05-29 10:20:52 +02:00
cpu.h hw/x86: use PAT for write combining support 2020-03-26 11:38:54 +01:00
framebuffer.h hw: factor out x86 specific bootinfo 2019-05-27 14:46:54 +02:00
page_table.h hw/x86: use PAT for write combining support 2020-03-26 11:38:54 +01:00
pc_board.h base-hw: EFI sys-table pointer in platform info 2019-08-13 12:02:03 +02:00
register_macros.h hw/x86: add cpuid register macro 2020-03-26 11:38:54 +01:00
x86_64.h hw: move src/lib/hw header to src/include/hw 2019-04-01 19:33:51 +02:00