| //uspace/trunk/libc/generic/libc.c |
|---|
| 32,11 → 32,13 |
| #include <malloc.h> |
| #include <psthread.h> |
| /* We should probably merge libc and libipc together */ |
| extern void _ipc_init(void); |
| void _exit(int status) { |
| thread_exit(status); |
| } |
| #include <stdio.h> |
| void __main(void) { |
| tcb_t *tcb; |
| 43,6 → 45,7 |
| tcb = __make_tls(); |
| __tcb_set(tcb); |
| psthread_setup(tcb); |
| _ipc_init(); |
| } |
| void __exit(void) { |