Rev 105 | Rev 108 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 105 | Rev 106 | ||
---|---|---|---|
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 | #include <arch/faddr.h> |
56 | #include <arch/faddr.h> |
57 | 57 | ||
- | 58 | #include <typedefs.h> |
|
- | 59 | ||
58 | char *project = "SPARTAN kernel"; |
60 | char *project = "SPARTAN kernel"; |
59 | char *copyright = "Copyright (C) 2001-2005 Jakub Jermar\nCopyright (C) 2005 HelenOS project"; |
61 | char *copyright = "Copyright (C) 2001-2005 Jakub Jermar\nCopyright (C) 2005 HelenOS project"; |
60 | 62 | ||
61 | config_t config; |
63 | config_t config; |
62 | context_t ctx; |
64 | context_t ctx; |
Line 65... | Line 67... | ||
65 | * These 'hardcoded' variables will be intialised by |
67 | * These 'hardcoded' variables will be intialised by |
66 | * the linker or the low level assembler code with |
68 | * the linker or the low level assembler code with |
67 | * appropriate sizes and addresses. |
69 | * appropriate sizes and addresses. |
68 | */ |
70 | */ |
69 | __address hardcoded_load_address = 0; |
71 | __address hardcoded_load_address = 0; |
70 | __u32 hardcoded_ktext_size = 0; |
72 | size_t hardcoded_ktext_size = 0; |
71 | __u32 hardcoded_kdata_size = 0; |
73 | size_t hardcoded_kdata_size = 0; |
72 | 74 | ||
73 | void main_bsp(void); |
75 | void main_bsp(void); |
74 | void main_ap(void); |
76 | void main_ap(void); |
75 | 77 | ||
76 | /* |
78 | /* |