genode/repos/base-hw
Reto Buerki ebfe3d8ff0 hw: Use mtc_size from Cpu class for mtc::SIZE
This decouples the size of the mode transition control region from the
minimal mapping size of the page tables implementation. Rather, the CPU
architecture is able to specify the actual size.

Rationale: For x86_64, we need the mtc region to span two pages in order
to store all the tables required to perform the mode switch.
2015-03-13 12:17:28 +01:00
..
doc imx31: remove platform completely (fix #1360) 2015-01-12 14:24:15 +01:00
include tz_vmm: support USB-Armory board 2015-02-27 11:48:35 +01:00
lib hw_arndale: enable ARM virtualization extensions 2015-02-27 11:48:05 +01:00
mk hw: support USB-Armory board 2015-02-27 11:48:35 +01:00
run run: modularize run tool 2015-01-26 12:28:40 +01:00
src hw: Use mtc_size from Cpu class for mtc::SIZE 2015-03-13 12:17:28 +01:00