/SPARTAN/trunk/arch/ia32/Makefile.inc |
43,8 → 43,6 |
src/arch/delay.s \ |
src/arch/asm.S \ |
src/arch/proc/scheduler.c \ |
src/arch/acpi/acpi.c \ |
src/arch/acpi/madt.c \ |
src/arch/bios/bios.c \ |
src/arch/smp/ap.S \ |
src/arch/smp/apic.c \ |
/SPARTAN/trunk/arch/ia32/src/ia32.c |
44,7 → 44,7 |
|
#include <arch/interrupt.h> |
#include <arch/asm.h> |
#include <arch/acpi/acpi.h> |
#include <genarch/firmware/acpi/acpi.h> |
|
#include <arch/bios/bios.h> |
|
/SPARTAN/trunk/arch/ia32/src/smp/smp.c |
30,8 → 30,8 |
#include <arch/smp/smp.h> |
#include <arch/smp/mps.h> |
#include <arch/smp/ap.h> |
#include <arch/acpi/acpi.h> |
#include <arch/acpi/madt.h> |
#include <genarch/firmware/acpi/acpi.h> |
#include <genarch/firmware/acpi/madt.h> |
#include <config.h> |
#include <synch/waitq.h> |
#include <synch/synch.h> |