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 | ||