/kernel/trunk/generic/src/main/main.c |
---|
81,9 → 81,16 |
#endif /* CONFIG_SMP */ |
#include <smp/smp.h> |
config_t config; /**< Global configuration structure. */ |
init_t init = {0}; /**< Initial user-space tasks */ |
/** Global configuration structure. */ |
config_t config = { |
.mm_initialized = false |
}; |
/** Initial user-space tasks */ |
init_t init = { |
0 |
}; |
context_t ctx; |
/** |
189,6 → 196,7 |
as_init(); |
page_init(); |
tlb_init(); |
config.mm_initialized = true; |
arch_post_mm_init(); |
version_print(); |