Rev 955 | Rev 973 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 955 | Rev 965 | ||
|---|---|---|---|
| Line 45... | Line 45... | ||
| 45 | #include <memstr.h> |
45 | #include <memstr.h> |
| 46 | #include <console/console.h> |
46 | #include <console/console.h> |
| 47 | #include <interrupt.h> |
47 | #include <interrupt.h> |
| 48 | #include <console/kconsole.h> |
48 | #include <console/kconsole.h> |
| 49 | #include <elf.h> |
49 | #include <elf.h> |
| - | 50 | #include <ipc/ns.h> |
|
| 50 | 51 | ||
| 51 | #ifdef CONFIG_SMP |
52 | #ifdef CONFIG_SMP |
| 52 | #include <arch/smp/mps.h> |
53 | #include <arch/smp/mps.h> |
| 53 | #endif /* CONFIG_SMP */ |
54 | #endif /* CONFIG_SMP */ |
| 54 | 55 | ||
| Line 136... | Line 137... | ||
| 136 | else |
137 | else |
| 137 | panic("thread_create/kconsole\n"); |
138 | panic("thread_create/kconsole\n"); |
| 138 | 139 | ||
| 139 | interrupts_enable(); |
140 | interrupts_enable(); |
| 140 | 141 | ||
| 141 | ipc_create_phonecompany(); |
142 | /* Initialize name service */ |
| - | 143 | ns_start(); |
|
| 142 | 144 | ||
| 143 | if (config.init_size > 0) { |
145 | if (config.init_size > 0) { |
| 144 | /* |
146 | /* |
| 145 | * Create the first user task. |
147 | * Create the first user task. |
| 146 | */ |
148 | */ |