Rev 4173 | Rev 4384 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4173 | Rev 4252 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | * @{ |
30 | * @{ |
| 31 | */ |
31 | */ |
| 32 | 32 | ||
| 33 | /** |
33 | /** |
| 34 | * @file |
34 | * @file |
| 35 | * @brief Main initialization kernel function for all processors. |
35 | * @brief Main initialization kernel function for all processors. |
| 36 | * |
36 | * |
| 37 | * During kernel boot, all processors, after architecture dependent |
37 | * During kernel boot, all processors, after architecture dependent |
| 38 | * initialization, start executing code found in this file. After |
38 | * initialization, start executing code found in this file. After |
| 39 | * bringing up all subsystems, control is passed to scheduler(). |
39 | * bringing up all subsystems, control is passed to scheduler(). |
| 40 | * |
40 | * |
| Line 80... | Line 80... | ||
| 80 | #include <macros.h> |
80 | #include <macros.h> |
| 81 | #include <adt/btree.h> |
81 | #include <adt/btree.h> |
| 82 | #include <smp/smp.h> |
82 | #include <smp/smp.h> |
| 83 | #include <ddi/ddi.h> |
83 | #include <ddi/ddi.h> |
| 84 | #include <main/main.h> |
84 | #include <main/main.h> |
| 85 | #include <event/event.h> |
85 | #include <ipc/event.h> |
| 86 | 86 | ||
| 87 | /** Global configuration structure. */ |
87 | /** Global configuration structure. */ |
| 88 | config_t config; |
88 | config_t config; |
| 89 | 89 | ||
| 90 | /** Initial user-space tasks */ |
90 | /** Initial user-space tasks */ |