+/** @file libthreads.h
+ * @brief Basic Thread Library Functionality.
+ */
+
#ifndef __LIBTHREADS_H__
#define __LIBTHREADS_H__
int thrd_yield(void);
thrd_t thrd_current(void);
- void user_main(void);
+ int user_main(int, char**);
#ifdef __cplusplus
}