diff options
| -rw-r--r-- | src/arch/arm64/Makefile.inc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/arch/arm64/Makefile.inc b/src/arch/arm64/Makefile.inc index 4cf012a358..e7ee84c0a7 100644 --- a/src/arch/arm64/Makefile.inc +++ b/src/arch/arm64/Makefile.inc @@ -192,6 +192,9 @@ endif # Build ARM TF in debug mode (with serial output) if coreboot uses serial ifeq ($(CONFIG_CONSOLE_SERIAL),y) BL31_MAKEARGS += DEBUG=1 +else +# Turn off NOTICE messages from BL31 if coreboot does not use serial +BL31_MAKEARGS += LOG_LEVEL=0 endif # CONFIG_CONSOLE_SERIAL # Avoid build/release|build/debug distinction by overriding BUILD_PLAT directly |