Rev 625 | Rev 640 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 625 | Rev 628 | ||
---|---|---|---|
Line 140... | Line 140... | ||
140 | { |
140 | { |
141 | config.cpu_count = 1; |
141 | config.cpu_count = 1; |
142 | config.cpu_active = 1; |
142 | config.cpu_active = 1; |
143 | config.base = hardcoded_load_address; |
143 | config.base = hardcoded_load_address; |
144 | config.memory_size = get_memory_size(); |
144 | config.memory_size = get_memory_size(); |
- | 145 | config.init_addr = init_addr; |
|
- | 146 | config.init_size = init_size; |
|
145 | 147 | ||
146 | heap_size = CONFIG_HEAP_SIZE + (config.memory_size/FRAME_SIZE)*sizeof(frame_t); |
148 | heap_size = CONFIG_HEAP_SIZE + (config.memory_size/FRAME_SIZE)*sizeof(frame_t); |
147 | kernel_size = ALIGN_UP(hardcoded_ktext_size + hardcoded_kdata_size + heap_size, PAGE_SIZE); |
149 | kernel_size = ALIGN_UP(hardcoded_ktext_size + hardcoded_kdata_size + heap_size, PAGE_SIZE); |
148 | heap_delta = kernel_size - (hardcoded_ktext_size + hardcoded_kdata_size + heap_size); |
150 | heap_delta = kernel_size - (hardcoded_ktext_size + hardcoded_kdata_size + heap_size); |
149 | 151 | ||
Line 204... | Line 206... | ||
204 | 206 | ||
205 | timeout_init(); |
207 | timeout_init(); |
206 | scheduler_init(); |
208 | scheduler_init(); |
207 | task_init(); |
209 | task_init(); |
208 | thread_init(); |
210 | thread_init(); |
- | 211 | ||
- | 212 | if (config.init_size > 0) |
|
- | 213 | printf("config.init_addr=%X, config.init_size=%d\n", config.init_addr, config.init_size); |
|
209 | 214 | ||
210 | /* |
215 | /* |
211 | * Create kernel vm mapping. |
216 | * Create kernel vm mapping. |
212 | */ |
217 | */ |
213 | m = vm_create(GET_PTL0_ADDRESS()); |
218 | m = vm_create(GET_PTL0_ADDRESS()); |