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