gEfiShellPkgTokenSpaceGuid.PcdShellForceConsole ## CONSUMES\r
gEfiShellPkgTokenSpaceGuid.PcdShellSupplier ## CONSUMES\r
\r
+[BuildOptions.AARCH64]\r
+ # The tiny code model used by AARCH64 only supports binaries of up to 1 MB in\r
+ # size. Since the Shell application exceeds that when built in DEBUG mode,\r
+ # make sure we build it using the small code model instead.\r
+ GCC:DEBUG_*_*_CC_FLAGS = -mcmodel=small\r
+ GCC:DEBUG_*_*_DLINK_FLAGS = -z common-page-size=0x1000\r