Rev 15 | Rev 23 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 15 | Rev 16 | ||
---|---|---|---|
Line 101... | Line 101... | ||
101 | task_t *k; |
101 | task_t *k; |
102 | thread_t *t; |
102 | thread_t *t; |
103 | 103 | ||
104 | arch_init(); |
104 | arch_init(); |
105 | 105 | ||
- | 106 | ||
106 | printf("%s, %s\n", project, copyright); |
107 | printf("%s, %s\n", project, copyright); |
107 | 108 | ||
108 | printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
109 | printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n", |
109 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
110 | config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024); |
110 | 111 |