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 |