genode/base-hw
Martin Stein 4723b08322 base_hw: Use TLB-specific 'struct Page_flags'.
'Page_flags' maps application-specific memory attributes
to the TLB-specific memory attributes. Thereby it avoids
functions with lots of parameters, by declaring appropriate
bitfields on a single POD value.
2012-11-22 09:21:53 +01:00
..
doc Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
include Generalize handling of PD-session arguments 2012-11-21 20:04:07 +01:00
lib/mk Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
mk Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
run Nested init on i.MX31 via base_hw. Rework base_hw. 2012-11-14 16:36:41 +01:00
src base_hw: Use TLB-specific 'struct Page_flags'. 2012-11-22 09:21:53 +01:00