Rev 1787 | Rev 2062 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 2000 | ||
|---|---|---|---|
| Line 34... | Line 34... | ||
| 34 | /** |
34 | /** |
| 35 | * @file |
35 | * @file |
| 36 | * @brief Kernel ELF loader. |
36 | * @brief Kernel ELF loader. |
| 37 | */ |
37 | */ |
| 38 | 38 | ||
| 39 | #include <elf.h> |
39 | #include <lib/elf.h> |
| 40 | #include <debug.h> |
40 | #include <debug.h> |
| 41 | #include <arch/types.h> |
41 | #include <arch/types.h> |
| 42 | #include <typedefs.h> |
42 | #include <typedefs.h> |
| 43 | #include <mm/as.h> |
43 | #include <mm/as.h> |
| 44 | #include <mm/frame.h> |
44 | #include <mm/frame.h> |