41,6 → 41,7 |
#include <cpu.h> |
#include <align.h> |
#include <interrupt.h> |
#include <main/version.h> |
|
#ifdef CONFIG_SMP |
#include <arch/smp/apic.h> |
64,24 → 65,6 |
|
#include <typedefs.h> |
|
char *project = "SPARTAN kernel"; |
char *copyright = "Copyright (C) 2001-2006 HelenOS project"; |
char *release = RELEASE; |
char *name = NAME; |
char *arch = ARCH; |
|
#ifdef REVISION |
char *revision = ", revision " REVISION; |
#else |
char *revision = ""; |
#endif |
|
#ifdef TIMESTAMP |
char *timestamp = " on " TIMESTAMP; |
#else |
char *timestamp = ""; |
#endif |
|
config_t config; |
context_t ctx; |
|
167,7 → 150,7 |
kconsole_init(); |
|
/* Exception handler initialization, before architecture |
* starts adding it's own handlers |
* starts adding its own handlers |
*/ |
exc_init(); |
|
177,8 → 160,9 |
page_init(); |
tlb_init(); |
arch_post_mm_init(); |
|
printf("%s, release %s (%s)%s\nBuilt%s for %s\n%s\n", project, release, name, revision, timestamp, arch, copyright); |
|
version_print(); |
|
printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
|