6 #include <pthread-l4.h>
9 #include <l4/sys/kdebug.h>
12 void *thread(void *data)
15 for (unsigned i = 0; i < 2; ++i) {
17 printf("\033[31mhello world from thread\033[0m\n");
23 int main(int argc, char **argv)
25 (void)argc; (void)argv;
30 printf("\033[32mhello from main thread\033[0m\n");
32 for (unsigned i = 0; i < 5; ++i) {
33 printf("\033[32mLaunching worker thread.\033[0m\n");
34 res = pthread_create(&pt, NULL, thread, NULL);
36 res = pthread_join(pt, NULL);
37 printf("\033[32mWorker thread returned.\033[0m\n");