Rev 3024 | Rev 3922 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3024 | Rev 3883 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | /** @file |
33 | /** @file |
34 | * @brief Bootstrap. |
34 | * @brief Bootstrap. |
35 | */ |
35 | */ |
36 | 36 | ||
37 | 37 | ||
38 | #include "main.h" |
38 | #include "main.h" |
39 | #include "asm.h" |
39 | #include "asm.h" |
40 | #include "_components.h" |
40 | #include "_components.h" |
41 | #include <printf.h> |
41 | #include <printf.h> |
- | 42 | #include <macros.h> |
|
42 | 43 | ||
43 | #include "mm.h" |
44 | #include "mm.h" |
44 | 45 | ||
45 | /** Kernel entry point address. */ |
46 | /** Kernel entry point address. */ |
46 | #define KERNEL_VIRTUAL_ADDRESS 0x80200000 |
47 | #define KERNEL_VIRTUAL_ADDRESS 0x80200000 |
47 | 48 | ||
48 | 49 | ||
49 | char *release = RELEASE; |
50 | char *release = STRING(RELEASE); |
50 | 51 | ||
51 | #ifdef REVISION |
52 | #ifdef REVISION |
52 | char *revision = ", revision " REVISION; |
53 | char *revision = ", revision " STRING(REVISION); |
53 | #else |
54 | #else |
54 | char *revision = ""; |
55 | char *revision = ""; |
55 | #endif |
56 | #endif |
56 | 57 | ||
57 | #ifdef TIMESTAMP |
58 | #ifdef TIMESTAMP |
58 | char *timestamp = "\nBuilt on " TIMESTAMP; |
59 | char *timestamp = "\nBuilt on " STRING(TIMESTAMP); |
59 | #else |
60 | #else |
60 | char *timestamp = ""; |
61 | char *timestamp = ""; |
61 | #endif |
62 | #endif |
62 | 63 | ||
63 | 64 |