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
..
kernel_support.h	Run Genode directly on hardware with 'base-hw'.	2012-08-03 12:06:37 +02:00
platform_support.cc	base_hw: Use board-specific 'Core_tlb'.	2012-11-14 16:36:51 +01:00
target.mk	Nested init on i.MX31 via base_hw. Rework base_hw.	2012-11-14 16:36:41 +01:00
tlb.h	base_hw: Use TLB-specific 'struct Page_flags'.	2012-11-22 09:21:53 +01:00