Rev 462 | Rev 470 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 462 | Rev 463 | ||
|---|---|---|---|
| Line 60... | Line 60... | ||
| 60 | #include <arch/faddr.h> |
60 | #include <arch/faddr.h> |
| 61 | 61 | ||
| 62 | #include <typedefs.h> |
62 | #include <typedefs.h> |
| 63 | 63 | ||
| 64 | char *project = "SPARTAN kernel"; |
64 | char *project = "SPARTAN kernel"; |
| - | 65 | char *release = RELEASE " (" NAME ")"; |
|
| 65 | #ifdef TAG |
66 | #ifdef TAG |
| - | 67 | char *rr_delimiter = "\n"; |
|
| 66 | char *revision = RELEASE " (" NAME ") " TAG; |
68 | char *revision = TAG; |
| 67 | #else |
69 | #else |
| - | 70 | char *rr_delimiter = ""; |
|
| 68 | char *revision = RELEASE " (" NAME ")"; |
71 | char *revision = ""; |
| 69 | #endif |
72 | #endif |
| 70 | char *copyright = "Copyright (C) 2001-2005 Jakub Jermar\nCopyright (C) 2005 HelenOS project"; |
73 | char *copyright = "Copyright (C) 2001-2005 Jakub Jermar\nCopyright (C) 2005 HelenOS project"; |
| 71 | 74 | ||
| 72 | config_t config; |
75 | config_t config; |
| 73 | context_t ctx; |
76 | context_t ctx; |
| Line 156... | Line 159... | ||
| 156 | frame_init(); |
159 | frame_init(); |
| 157 | page_init(); |
160 | page_init(); |
| 158 | tlb_init(); |
161 | tlb_init(); |
| 159 | arch_post_mm_init(); |
162 | arch_post_mm_init(); |
| 160 | 163 | ||
| 161 | printf("%s %s\n%s\n", project, revision, copyright); |
164 | printf("%s release %s%s%s\n%s\n", project, release, rr_delimiter, revision, copyright); |
| 162 | printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
165 | printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
| 163 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
166 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
| 164 | 167 | ||
| 165 | arch_late_init(); |
168 | arch_late_init(); |
| 166 | 169 | ||