Rev 534 | Rev 562 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 534 | Rev 561 | ||
|---|---|---|---|
| Line 28... | Line 28... | ||
| 28 | 28 | ||
| 29 | #include <arch/asm.h> |
29 | #include <arch/asm.h> |
| 30 | #include <context.h> |
30 | #include <context.h> |
| 31 | #include <print.h> |
31 | #include <print.h> |
| 32 | #include <panic.h> |
32 | #include <panic.h> |
| - | 33 | #include <debug.h> |
|
| 33 | #include <config.h> |
34 | #include <config.h> |
| 34 | #include <time/clock.h> |
35 | #include <time/clock.h> |
| 35 | #include <proc/scheduler.h> |
36 | #include <proc/scheduler.h> |
| 36 | #include <proc/thread.h> |
37 | #include <proc/thread.h> |
| 37 | #include <proc/task.h> |
38 | #include <proc/task.h> |
| Line 61... | Line 62... | ||
| 61 | #include <arch/faddr.h> |
62 | #include <arch/faddr.h> |
| 62 | 63 | ||
| 63 | #include <typedefs.h> |
64 | #include <typedefs.h> |
| 64 | 65 | ||
| 65 | char *project = "SPARTAN kernel"; |
66 | char *project = "SPARTAN kernel"; |
| - | 67 | char *copyright = "Copyright (C) 2001-2005 HelenOS project"; |
|
| 66 | char *release = RELEASE " (" NAME ")"; |
68 | char *release = RELEASE; |
| 67 | #ifdef TAG |
69 | char *name = NAME; |
| 68 | char *rr_delimiter = "\n"; |
70 | char *arch = STRING(ARCH); |
| - | 71 | ||
| - | 72 | #ifdef REVISION |
|
| 69 | char *revision = TAG; |
73 | char *revision = ", revision " REVISION; |
| 70 | #else |
74 | #else |
| 71 | char *rr_delimiter = ""; |
- | |
| 72 | char *revision = ""; |
75 | char *revision = ""; |
| 73 | #endif |
76 | #endif |
| - | 77 | ||
| - | 78 | #ifdef TIMESTAMP |
|
| 74 | char *copyright = "Copyright (C) 2001-2005 HelenOS project"; |
79 | char *timestamp = " on " TIMESTAMP; |
| - | 80 | #else |
|
| - | 81 | char *timestamp = ""; |
|
| - | 82 | #endif |
|
| - | 83 | ||
| 75 | 84 | ||
| 76 | config_t config; |
85 | config_t config; |
| 77 | context_t ctx; |
86 | context_t ctx; |
| 78 | 87 | ||
| 79 | /** |
88 | /** |
| Line 170... | Line 179... | ||
| 170 | frame_init(); |
179 | frame_init(); |
| 171 | page_init(); |
180 | page_init(); |
| 172 | tlb_init(); |
181 | tlb_init(); |
| 173 | arch_post_mm_init(); |
182 | arch_post_mm_init(); |
| 174 | 183 | ||
| 175 | printf("%s, release %s%s%s\n%s\n", project, release, rr_delimiter, revision, copyright); |
184 | printf("%s, release %s (%s)%s\nBuild%s for %s\n%s\n", project, release, name, revision, timestamp, arch, copyright); |
| 176 | printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
185 | printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
| 177 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
186 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
| 178 | 187 | ||
| 179 | arch_pre_smp_init(); |
188 | arch_pre_smp_init(); |
| 180 | smp_init(); |
189 | smp_init(); |