This crate provide the API to configure and maintain the Raspberry Pi Memory Management Unit. On Raspberry Pi a configured and active MMU is a prerequisit to use any atomic operations.
TTLB Block and Page Entry format
Initialize the MMU. This configures an initial 1:1 mapping accross the whole available memory of the Raspberry Pi. Only the memory region from 0x3F00_0000 to 0x4002_0000 is configured as device memory as this is the area the memory mapped peripherals and the core mailboxes are located at.
Map a given address to a virtual address with the specified memory attributes. TODO: Memory attributes shall be a specific allowed set only - create a new type for this!
Align a given address/size to the next page boundary based on MMU config