\r
#include "DxeIpl.h"\r
\r
+#include <Library/ArmLib.h>\r
+\r
/**\r
Transfers control to DxeCore.\r
\r
BaseOfStack = AllocatePages (EFI_SIZE_TO_PAGES (STACK_SIZE));\r
ASSERT (BaseOfStack != NULL);\r
\r
+ if (PcdGetBool (PcdSetNxForStack)) {\r
+ Status = ArmSetMemoryRegionNoExec ((UINTN)BaseOfStack, STACK_SIZE);\r
+ ASSERT_EFI_ERROR (Status);\r
+ }\r
+\r
//\r
// Compute the top of the stack we were allocated. Pre-allocate a UINTN\r
// for safety.\r