Add big-endian support to ARM_CRx_No_GIC port#1355

aggarg merged 2 commits intoFreeRTOS:mainFreeRTOS/FreeRTOS-Kernel:mainfrom

maximdeclercq:main-arm-crx-be32maximdeclercq/FreeRTOS-Kernel:main-arm-crx-be32Copy head branch name to clipboard