Rev 68 | Rev 76 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 68 | Rev 71 | ||
---|---|---|---|
Line 53... | Line 53... | ||
53 | #include <synch/waitq.h> |
53 | #include <synch/waitq.h> |
54 | 54 | ||
55 | #include <arch.h> |
55 | #include <arch.h> |
56 | 56 | ||
57 | char *project = "SPARTAN kernel"; |
57 | char *project = "SPARTAN kernel"; |
58 | char *copyright = "Copyright (C) 2001-2005 Jakub Jermar"; |
58 | char *copyright = "Copyright (C) 2001-2005 Jakub Jermar, Copyright (C) 2005 HelenOS project"; |
59 | 59 | ||
60 | config_t config; |
60 | config_t config; |
61 | context_t ctx; |
61 | context_t ctx; |
62 | 62 | ||
63 | /* |
63 | /* |
Line 111... | Line 111... | ||
111 | page_init(); |
111 | page_init(); |
112 | tlb_init(); |
112 | tlb_init(); |
113 | 113 | ||
114 | arch_post_mm_init(); |
114 | arch_post_mm_init(); |
115 | 115 | ||
116 | printf("%s, %s\n", project, copyright); |
116 | printf("%s\n%s\n", project, copyright); |
117 | 117 | ||
118 | printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
118 | printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
119 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
119 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
120 | 120 | ||
121 | arch_late_init(); |
121 | arch_late_init(); |