genode/repos/base-hw/src/lib/hw/spec
2018-08-28 16:48:43 +02:00
..
32bit hw: switch page-tables only when necessary 2017-10-19 13:31:18 +02:00
64bit hw: switch page-tables only when necessary 2017-10-19 13:31:18 +02:00
arm hw/panda: fix -O0 / -fno-omit-frame-pointer builds 2018-05-30 12:26:19 +02:00
riscv Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
x86_64 hw/x86: read out local APIC base dynamically 2018-08-28 16:48:43 +02:00