1 /*
2 * Copyright (c) 2020 BayLibre, SAS
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7 #include <zephyr/kernel.h>
8 #include <stdio.h>
9
10 #include "thread_def.h"
11
main(void)12 int main(void)
13 {
14 printf("Main Thread started; %s\n", CONFIG_BOARD);
15
16 k_thread_create(&supervisor_thread, supervisor_stack, THREAD_STACKSIZE,
17 supervisor_thread_function, NULL, NULL, NULL,
18 -1, K_INHERIT_PERMS, K_NO_WAIT);
19
20 k_sleep(K_MSEC(1000));
21
22 k_thread_create(&user_thread, user_stack, THREAD_STACKSIZE,
23 user_thread_function, NULL, NULL, NULL,
24 -1, K_USER | K_INHERIT_PERMS, K_NO_WAIT);
25 return 0;
26 }
27
