Rev 2087 | Rev 2118 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2087 | Rev 2089 | ||
|---|---|---|---|
| Line 60... | Line 60... | ||
| 60 | #include <console/console.h> |
60 | #include <console/console.h> |
| 61 | #include <interrupt.h> |
61 | #include <interrupt.h> |
| 62 | #include <console/kconsole.h> |
62 | #include <console/kconsole.h> |
| 63 | #include <security/cap.h> |
63 | #include <security/cap.h> |
| 64 | #include <lib/rd.h> |
64 | #include <lib/rd.h> |
| - | 65 | #include <ipc/ipc.h> |
|
| 65 | 66 | ||
| 66 | #ifdef CONFIG_SMP |
67 | #ifdef CONFIG_SMP |
| 67 | #include <smp/smp.h> |
68 | #include <smp/smp.h> |
| 68 | #endif /* CONFIG_SMP */ |
69 | #endif /* CONFIG_SMP */ |
| 69 | 70 | ||