1 /*
2  * Copyright (c) 2024 Arduino SA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #define LOG_LEVEL CONFIG_LOG_DEFAULT_LEVEL
8 #include <zephyr/logging/log.h>
9 LOG_MODULE_REGISTER(app);
10 
11 extern void hello_world(void);
12 
main(void)13 int main(void)
14 {
15 	LOG_INF("Calling hello world as a builtin");
16 
17 	hello_world();
18 
19 	return 0;
20 }
21