1*a4ca182fSHugues KAMBA MPIANA$(call force,CFG_HWSUPP_MEM_PERM_WXN,y) 2*a4ca182fSHugues KAMBA MPIANA$(call force,CFG_HWSUPP_MEM_PERM_PXN,y) 3*a4ca182fSHugues KAMBA MPIANA$(call force,CFG_ENABLE_SCTLR_RR,n) 4*a4ca182fSHugues KAMBA MPIANA$(call force,CFG_ENABLE_SCTLR_Z,n) 5*a4ca182fSHugues KAMBA MPIANA 6*a4ca182fSHugues KAMBA MPIANA# ARM debugger needs this 7*a4ca182fSHugues KAMBA MPIANAplatform-cflags-debug-info = -gdwarf-2 8*a4ca182fSHugues KAMBA MPIANAplatform-aflags-debug-info = -gdwarf-2 9*a4ca182fSHugues KAMBA MPIANA 10*a4ca182fSHugues KAMBA MPIANAarm64-platform-cflags += -march=armv9.2-a 11*a4ca182fSHugues KAMBA MPIANAarm64-platform-aflags += -march=armv9.2-a 12*a4ca182fSHugues KAMBA MPIANA$(call force,CFG_ARM_GICV3,y) 13