MMU section translation fault

While working on a ZedBoard (perhaps also MicroZed and others) you may find yourself facing a message referring to MMU section translation fault. This has happened to me a couple times. In my experience it's because I'm attempting to launch a bare metal application to the PS while the board has already booted to Linux--so the MMU is likely already in use. My solution:

• Remove the Linux SD card (from which the board is booting) from the slot and reset the board
• Program the PL (FPGA) again
• Launch your bare metal application again.