Rev 820 | Rev 1138 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 820 | Rev 1037 | ||
|---|---|---|---|
| Line 33... | Line 33... | ||
| 33 | #include <typedefs.h> |
33 | #include <typedefs.h> |
| 34 | #include <arch/mm/page.h> |
34 | #include <arch/mm/page.h> |
| 35 | 35 | ||
| 36 | #define STACK_SIZE PAGE_SIZE |
36 | #define STACK_SIZE PAGE_SIZE |
| 37 | 37 | ||
| 38 | #define CONFIG_MEMORY_SIZE (8*1024*1024) |
38 | #define CONFIG_MEMORY_SIZE (8 * 1024 * 1024) |
| 39 | #define CONFIG_STACK_SIZE STACK_SIZE |
39 | #define CONFIG_STACK_SIZE STACK_SIZE |
| - | 40 | #define CONFIG_INIT_TASKS 32 |
|
| 40 | 41 | ||
| - | 42 | typedef struct { |
|
| - | 43 | __address addr; |
|
| - | 44 | size_t size; |
|
| - | 45 | } init_task_t; |
|
| - | 46 | ||
| 41 | struct config { |
47 | typedef struct { |
| - | 48 | count_t cnt; |
|
| - | 49 | init_task_t tasks[CONFIG_INIT_TASKS]; |
|
| - | 50 | } init_t; |
|
| - | 51 | ||
| - | 52 | typedef struct { |
|
| 42 | count_t cpu_count; |
53 | count_t cpu_count; |
| 43 | volatile count_t cpu_active; |
54 | volatile count_t cpu_active; |
| 44 | 55 | ||
| 45 | __address base; |
56 | __address base; |
| 46 | size_t memory_size; |
57 | size_t memory_size; |
| 47 | - | ||
| 48 | __address init_addr; |
- | |
| 49 | size_t init_size; |
- | |
| 50 | - | ||
| 51 | 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 */ |
| 52 | }; |
59 | } config_t; |
| 53 | 60 | ||
| 54 | extern config_t config; |
61 | extern config_t config; |
| - | 62 | extern init_t init; |
|
| 55 | 63 | ||
| 56 | #endif |
64 | #endif |