Rev 108 | Rev 149 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 108 | Rev 146 | ||
---|---|---|---|
Line 45... | Line 45... | ||
45 | #include <arch/smp/mps.h> |
45 | #include <arch/smp/mps.h> |
46 | #endif /* __SMP__ */ |
46 | #endif /* __SMP__ */ |
47 | 47 | ||
48 | #include <smp/smp.h> |
48 | #include <smp/smp.h> |
49 | 49 | ||
- | 50 | #include <arch/mm/memory_init.h> |
|
50 | #include <mm/frame.h> |
51 | #include <mm/frame.h> |
51 | #include <mm/page.h> |
52 | #include <mm/page.h> |
52 | #include <mm/tlb.h> |
53 | #include <mm/tlb.h> |
53 | #include <synch/waitq.h> |
54 | #include <synch/waitq.h> |
54 | 55 | ||
Line 96... | Line 97... | ||
96 | { |
97 | { |
97 | config.cpu_count = 1; |
98 | config.cpu_count = 1; |
98 | config.cpu_active = 1; |
99 | config.cpu_active = 1; |
99 | 100 | ||
100 | config.base = hardcoded_load_address; |
101 | config.base = hardcoded_load_address; |
101 | config.memory_size = CONFIG_MEMORY_SIZE; |
102 | config.memory_size = get_memory_size(); |
102 | config.kernel_size = hardcoded_ktext_size + hardcoded_kdata_size + CONFIG_HEAP_SIZE + CONFIG_STACK_SIZE; |
103 | config.kernel_size = hardcoded_ktext_size + hardcoded_kdata_size + CONFIG_HEAP_SIZE + CONFIG_STACK_SIZE; |
103 | 104 | ||
104 | context_save(&ctx); |
105 | context_save(&ctx); |
105 | context_set(&ctx, FADDR(main_bsp_separated_stack), config.base + hardcoded_ktext_size + hardcoded_kdata_size + CONFIG_HEAP_SIZE, CONFIG_STACK_SIZE); |
106 | context_set(&ctx, FADDR(main_bsp_separated_stack), config.base + hardcoded_ktext_size + hardcoded_kdata_size + CONFIG_HEAP_SIZE, CONFIG_STACK_SIZE); |
106 | context_restore(&ctx); |
107 | context_restore(&ctx); |