diff --git a/samples/userspace/hello_world_user/src/main.c b/samples/userspace/hello_world_user/src/main.c index 3223d4a1a27..99cbf8dc705 100644 --- a/samples/userspace/hello_world_user/src/main.c +++ b/samples/userspace/hello_world_user/src/main.c @@ -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"); }