Rev 1999 | Rev 2002 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1999 | Rev 2000 | ||
|---|---|---|---|
| Line 59... | Line 59... | ||
| 59 | #include <memstr.h> |
59 | #include <memstr.h> |
| 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 <mm/rd.h> |
64 | #include <lib/rd.h> |
| 65 | 65 | ||
| 66 | #ifdef CONFIG_SMP |
66 | #ifdef CONFIG_SMP |
| 67 | #include <smp/smp.h> |
67 | #include <smp/smp.h> |
| 68 | #endif /* CONFIG_SMP */ |
68 | #endif /* CONFIG_SMP */ |
| 69 | 69 | ||