Rev 1810 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1810 | Rev 1813 | ||
|---|---|---|---|
| Line 53... | Line 53... | ||
| 53 | #include <arch/asm.h> |
53 | #include <arch/asm.h> |
| 54 | #include <genarch/acpi/acpi.h> |
54 | #include <genarch/acpi/acpi.h> |
| 55 | 55 | ||
| 56 | #include <arch/bios/bios.h> |
56 | #include <arch/bios/bios.h> |
| 57 | 57 | ||
| - | 58 | #include <arch/boot/boot.h> |
|
| 58 | #include <arch/mm/memory_init.h> |
59 | #include <arch/mm/memory_init.h> |
| 59 | #include <interrupt.h> |
60 | #include <interrupt.h> |
| 60 | #include <arch/debugger.h> |
61 | #include <arch/debugger.h> |
| 61 | #include <proc/thread.h> |
62 | #include <proc/thread.h> |
| 62 | #include <syscall/syscall.h> |
63 | #include <syscall/syscall.h> |
| 63 | #include <console/console.h> |
64 | #include <console/console.h> |
| 64 | 65 | ||
| - | 66 | start_info_t start_info; |
|
| - | 67 | ||
| 65 | void arch_pre_mm_init(void) |
68 | void arch_pre_mm_init(void) |
| 66 | { |
69 | { |
| 67 | // pm_init(); |
70 | // pm_init(); |
| 68 | 71 | ||
| 69 | if (config.cpu_active == 1) { |
72 | if (config.cpu_active == 1) { |