Rev 1159 | Rev 1170 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1159 | Rev 1168 | ||
---|---|---|---|
Line 40... | Line 40... | ||
40 | #include <ipc/ipc.h> |
40 | #include <ipc/ipc.h> |
41 | #include <memstr.h> |
41 | #include <memstr.h> |
42 | #include <print.h> |
42 | #include <print.h> |
43 | #include <elf.h> |
43 | #include <elf.h> |
44 | 44 | ||
- | 45 | ||
- | 46 | #define LOADED_PROG_STACK_PAGES_NO 2 |
|
- | 47 | ||
45 | SPINLOCK_INITIALIZE(tasks_lock); |
48 | SPINLOCK_INITIALIZE(tasks_lock); |
46 | btree_t tasks_btree; |
49 | btree_t tasks_btree; |
47 | static task_id_t task_counter = 0; |
50 | static task_id_t task_counter = 0; |
48 | 51 | ||
49 | /** Initialize tasks |
52 | /** Initialize tasks |
Line 137... | Line 140... | ||
137 | ASSERT(task); |
140 | ASSERT(task); |
138 | 141 | ||
139 | /* |
142 | /* |
140 | * Create the data as_area. |
143 | * Create the data as_area. |
141 | */ |
144 | */ |
142 | a = as_area_create(as, AS_AREA_READ | AS_AREA_WRITE, PAGE_SIZE, USTACK_ADDRESS); |
145 | a = as_area_create(as, AS_AREA_READ | AS_AREA_WRITE, LOADED_PROG_STACK_PAGES_NO*PAGE_SIZE, USTACK_ADDRESS); |
143 | 146 | ||
144 | t = thread_create(uinit, kernel_uarg, task, 0, "uinit"); |
147 | t = thread_create(uinit, kernel_uarg, task, 0, "uinit"); |
145 | ASSERT(t); |
148 | ASSERT(t); |
146 | thread_ready(t); |
149 | thread_ready(t); |
147 | 150 |