From d4ee5043f36e7a418c3fb5be2e76eb5f6ee2cd9f Mon Sep 17 00:00:00 2001 From: Fabio Estevam Date: Thu, 25 Aug 2016 21:07:20 -0300 Subject: [PATCH] warp7: Print secure/non-secure mode info warp7 has two targets: - warp7_defconfig: boots in non-secure mode - warp7_secure_defconfig: boots in secure mode Print the mode that is being used to help users to easily identify which target is running on the board. Signed-off-by: Fabio Estevam --- board/warp7/warp7.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/board/warp7/warp7.c b/board/warp7/warp7.c index cffee4a199..da9afb4ccd 100644 --- a/board/warp7/warp7.c +++ b/board/warp7/warp7.c @@ -152,7 +152,14 @@ int board_init(void) int checkboard(void) { - puts("Board: WARP7\n"); + char *mode; + + if (IS_ENABLED(CONFIG_ARMV7_BOOT_SEC_DEFAULT)) + mode = "secure"; + else + mode = "non-secure"; + + printf("Board: WARP7 in %s mode\n", mode); return 0; } -- 2.39.2