diff --git a/board/warp7/warp7.c b/board/warp7/warp7.c index cffee4a..da9afb4 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; }