Configuration

Default MMU configuration

To simplify development the BSP pre-configure the memory manager with a simple 1:1 memory map. The entire peripheral memory range, including the on chip ram is mapped as device memory while the external DDR is mapped as cacheable normal memory.

Default cache configuration

The L1 and L2 cache are enable by default when initializing the BSP.

Overriding the default initialization sequence

In the ZYNQ section of the BSP settings various initialization steps can be disabled if desired. 

Kernel tick source

The kernel timebase on the Cortex-A9 is always derived from the core's private timer.