Rev 1787 | Rev 1856 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1833 | ||
|---|---|---|---|
| Line 60... | Line 60... | ||
| 60 | volatile count_t cpu_active; /**< Number of processors that are up and running. */ |
60 | volatile count_t cpu_active; /**< Number of processors that are up and running. */ |
| 61 | 61 | ||
| 62 | uintptr_t base; |
62 | uintptr_t base; |
| 63 | size_t memory_size; /**< Size of detected memory in bytes. */ |
63 | size_t memory_size; /**< Size of detected memory in bytes. */ |
| 64 | size_t kernel_size; /**< Size of memory in bytes taken by kernel and stack */ |
64 | size_t kernel_size; /**< Size of memory in bytes taken by kernel and stack */ |
| - | 65 | ||
| - | 66 | uintptr_t stack_base; /**< Base adddress of initial stack */ |
|
| - | 67 | size_t stack_size; /**< Size of initial stack */ |
|
| 65 | } config_t; |
68 | } config_t; |
| 66 | 69 | ||
| 67 | extern config_t config; |
70 | extern config_t config; |
| 68 | extern init_t init; |
71 | extern init_t init; |
| 69 | 72 | ||