samples: hello_world_user: unify board identifier output

This patch unifies the board target identifier output to match that in
the `hello_world/src/main.c` file.

Signed-off-by: Patryk Koscik <pkoscik@antmicro.com>
This commit is contained in:
Patryk Koscik 2025-04-25 17:07:07 +02:00 committed by Benjamin Cabé
commit 6fc11ca6dd

View file

@ -19,7 +19,7 @@ static void user_function(void *p1, void *p2, void *p3)
{
printf("Hello World from %s (%s)\n",
k_is_user_context() ? "UserSpace!" : "privileged mode.",
CONFIG_BOARD);
CONFIG_BOARD_TARGET);
__ASSERT(k_is_user_context(), "User mode execution was expected");
}