62,13 → 62,10 |
#include <typedefs.h> |
|
char *project = "SPARTAN kernel"; |
char *release = RELEASE " (" NAME ")"; |
#ifdef TAG |
char *rr_delimiter = "\n"; |
char *revision = TAG; |
char *revision = RELEASE " (" NAME ") " TAG; |
#else |
char *rr_delimiter = ""; |
char *revision = ""; |
char *revision = RELEASE " (" NAME ")"; |
#endif |
char *copyright = "Copyright (C) 2001-2005 Jakub Jermar\nCopyright (C) 2005 HelenOS project"; |
|
161,7 → 158,7 |
tlb_init(); |
arch_post_mm_init(); |
|
printf("%s release %s%s%s\n%s\n", project, release, rr_delimiter, revision, copyright); |
printf("%s %s\n%s\n", project, revision, copyright); |
printf("%P: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
|