Rev 3386 | Rev 4581 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3386 | Rev 4153 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | #include <loader/pcb.h> |
51 | #include <loader/pcb.h> |
52 | 52 | ||
53 | extern char _heap; |
53 | extern char _heap; |
54 | extern int main(int argc, char *argv[]); |
54 | extern int main(int argc, char *argv[]); |
55 | 55 | ||
- | 56 | int _errno; |
|
- | 57 | ||
56 | void _exit(int status) |
58 | void _exit(int status) |
57 | { |
59 | { |
58 | thread_exit(status); |
60 | thread_exit(status); |
59 | } |
61 | } |
60 | 62 | ||
Line 67... | Line 69... | ||
67 | (void) as_area_create(&_heap, 1, AS_AREA_WRITE | AS_AREA_READ); |
69 | (void) as_area_create(&_heap, 1, AS_AREA_WRITE | AS_AREA_READ); |
68 | _async_init(); |
70 | _async_init(); |
69 | f = fibril_setup(); |
71 | f = fibril_setup(); |
70 | __tcb_set(f->tcb); |
72 | __tcb_set(f->tcb); |
71 | 73 | ||
72 | open_console(); |
- | |
73 | - | ||
74 | /* Save the PCB pointer */ |
74 | /* Save the PCB pointer */ |
75 | __pcb = (pcb_t *)pcb_ptr; |
75 | __pcb = (pcb_t *)pcb_ptr; |
76 | 76 | ||
77 | if (__pcb == NULL) { |
77 | if (__pcb == NULL) { |
78 | argc = 0; |
78 | argc = 0; |