Rev 562 | Rev 621 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 562 | Rev 564 | ||
---|---|---|---|
Line 139... | Line 139... | ||
139 | config.cpu_active = 1; |
139 | config.cpu_active = 1; |
140 | config.base = hardcoded_load_address; |
140 | config.base = hardcoded_load_address; |
141 | config.memory_size = get_memory_size(); |
141 | config.memory_size = get_memory_size(); |
142 | 142 | ||
143 | heap_size = CONFIG_HEAP_SIZE + (config.memory_size/FRAME_SIZE)*sizeof(frame_t); |
143 | heap_size = CONFIG_HEAP_SIZE + (config.memory_size/FRAME_SIZE)*sizeof(frame_t); |
144 | kernel_size = ALIGN(hardcoded_ktext_size + hardcoded_kdata_size + heap_size, PAGE_SIZE); |
144 | kernel_size = ALIGN_UP(hardcoded_ktext_size + hardcoded_kdata_size + heap_size, PAGE_SIZE); |
145 | heap_delta = kernel_size - (hardcoded_ktext_size + hardcoded_kdata_size + heap_size); |
145 | heap_delta = kernel_size - (hardcoded_ktext_size + hardcoded_kdata_size + heap_size); |
146 | 146 | ||
147 | config.kernel_size = kernel_size + CONFIG_STACK_SIZE; |
147 | config.kernel_size = kernel_size + CONFIG_STACK_SIZE; |
148 | 148 | ||
149 | context_save(&ctx); |
149 | context_save(&ctx); |