Rev 3756 | Rev 4293 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3756 | Rev 3820 | ||
---|---|---|---|
Line 69... | Line 69... | ||
69 | (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); |
70 | _async_init(); |
70 | _async_init(); |
71 | f = fibril_setup(); |
71 | f = fibril_setup(); |
72 | __tcb_set(f->tcb); |
72 | __tcb_set(f->tcb); |
73 | 73 | ||
74 | open_console(); |
- | |
75 | - | ||
76 | /* Save the PCB pointer */ |
74 | /* Save the PCB pointer */ |
77 | __pcb = (pcb_t *)pcb_ptr; |
75 | __pcb = (pcb_t *)pcb_ptr; |
78 | 76 | ||
79 | if (__pcb == NULL) { |
77 | if (__pcb == NULL) { |
80 | argc = 0; |
78 | argc = 0; |