Rev 814 | Rev 860 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 814 | Rev 822 | ||
---|---|---|---|
Line 113... | Line 113... | ||
113 | config.init_size = init_size; |
113 | config.init_size = init_size; |
114 | 114 | ||
115 | config.kernel_size = ALIGN_UP(hardcoded_ktext_size + hardcoded_kdata_size, PAGE_SIZE); |
115 | config.kernel_size = ALIGN_UP(hardcoded_ktext_size + hardcoded_kdata_size, PAGE_SIZE); |
116 | stackaddr = config.base + config.kernel_size; |
116 | stackaddr = config.base + config.kernel_size; |
117 | /* Avoid placing kernel on top of init */ |
117 | /* Avoid placing kernel on top of init */ |
118 | if (overlaps(stackaddr,stackaddr+CONFIG_STACK_SIZE, |
118 | if (overlaps(stackaddr,CONFIG_STACK_SIZE, |
119 | config.init_addr, config.init_addr+config.init_size)) { |
119 | config.init_addr, config.init_size)) { |
120 | 120 | ||
121 | stackaddr = ALIGN_UP(config.init_addr+config.init_size, |
121 | stackaddr = ALIGN_UP(config.init_addr+config.init_size, |
122 | CONFIG_STACK_SIZE); |
122 | CONFIG_STACK_SIZE); |
123 | config.init_size = ALIGN_UP(config.init_size,CONFIG_STACK_SIZE) + CONFIG_STACK_SIZE; |
123 | config.init_size = ALIGN_UP(config.init_size,CONFIG_STACK_SIZE) + CONFIG_STACK_SIZE; |
124 | } else { |
124 | } else { |