Changes from v2: * Fixed platform map installation * Fixed warnings in bspstartmpu.c * Fixed BSP internal function prototype name * Base Xilinx support contained in first two patches is now upstream