Rev 1363 | Rev 1367 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1363 | Rev 1366 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | #include <unistd.h> |
30 | #include <unistd.h> |
31 | #include <thread.h> |
31 | #include <thread.h> |
32 | #include <malloc.h> |
32 | #include <malloc.h> |
33 | #include <psthread.h> |
33 | #include <psthread.h> |
34 | #include <io/stream.h> |
34 | #include <io/stream.h> |
35 | - | ||
36 | int __DONT_OPEN_STDIO__; |
- | |
37 | - | ||
38 | /* We should probably merge libc and libipc together */ |
- | |
39 | extern void _ipc_init(void); |
35 | #include <ipc/ipc.h> |
40 | 36 | ||
41 | void _exit(int status) { |
37 | void _exit(int status) { |
42 | thread_exit(status); |
38 | thread_exit(status); |
43 | } |
39 | } |
44 | 40 | ||
45 | void __main(void) { |
41 | void __main(void) { |
46 | tcb_t *tcb; |
42 | tcb_t *tcb; |
47 | 43 | ||
48 | if(!__DONT_OPEN_STDIO__) |
- | |
49 | { |
- | |
50 | open("stdin",0); |
- | |
51 | open("stdout",0); |
- | |
52 | open("stderr",0); |
- | |
53 | } |
- | |
54 | - | ||
55 | tcb = __make_tls(); |
44 | tcb = __make_tls(); |
56 | __tcb_set(tcb); |
45 | __tcb_set(tcb); |
57 | psthread_setup(tcb); |
46 | psthread_setup(tcb); |
58 | _ipc_init(); |
47 | _ipc_init(); |
- | 48 | ||
- | 49 | open("stdin", 0); |
|
- | 50 | open("stdout", 0); |
|
- | 51 | open("stderr", 0); |
|
59 | } |
52 | } |
60 | 53 | ||
61 | void __exit(void) { |
54 | void __exit(void) { |
62 | tcb_t *tcb; |
55 | tcb_t *tcb; |
63 | 56 |