mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
d43d9900ab
This patch moves the implementation of the 'Arm::memory_region_attr' function from the generic ARM code to the ARM v6/v7 specific code to enable the customization of page-table bits depending on the specific CPU core type. I.e., the ARM1176 apparently does not cope well with setting the 'Tex::bits(2)' for MMIO mappings.