Rev 4173 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4173 | Rev 4252 | ||
---|---|---|---|
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 */ |