1 /*
2  * Copyright (c) 2024 Nordic Semiconductor ASA
3  * SPDX-License-Identifier: Apache-2.0
4  */
5 
6 #include <zephyr/sys/printk.h>
7 
main(void)8 int main(void)
9 {
10 	printk("Hello world from %s\n", CONFIG_BOARD_TARGET);
11 
12 	return 0;
13 }
14