Rev 1138 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1138 | Rev 1315 | ||
|---|---|---|---|
| Line 54... | Line 54... | ||
| 54 | volatile count_t cpu_active; |
54 | volatile count_t cpu_active; |
| 55 | 55 | ||
| 56 | __address base; |
56 | __address base; |
| 57 | size_t memory_size; |
57 | size_t memory_size; |
| 58 | size_t kernel_size; /**< Size of memory in bytes taken by kernel and stack */ |
58 | size_t kernel_size; /**< Size of memory in bytes taken by kernel and stack */ |
| - | 59 | ||
| - | 60 | bool mm_initialized; |
|
| 59 | } config_t; |
61 | } config_t; |
| 60 | 62 | ||
| 61 | extern config_t config; |
63 | extern config_t config; |
| 62 | extern init_t init; |
64 | extern init_t init; |
| 63 | 65 | ||