Alex Smith cbfe5fcd17 Removed redundant x86 sources/headers.

2012-07-03 17:38:18 +01:00

..

32

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

64

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

apic.h

…

apm.h

Made it possible to build the bootloader when targetting x86_64.

2012-05-26 21:47:27 +01:00

arch_acpi.h

…

arch_cpu.h

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

arch_debug.h

…

arch_hpet.h

…

arch_int.h

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

arch_kernel_args.h

Implemented long mode setup/switch code, the bootloader can now start the 64-bit kernel!

2012-06-26 11:08:21 +01:00

arch_kernel.h

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

arch_smp.h

…

arch_system_info.h

Fixed x86_64 kernel compilation.

2012-07-02 20:56:27 +01:00

arch_thread_types.h

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

arch_thread.h

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

arch_user_debugger.h

…

arch_vm_translation_map.h

…

arch_vm_types.h

…

arch_vm.h

…

bios.h

…

descriptors.h

Merged x86_64 headers into x86 headers.

2012-07-02 18:47:06 +01:00

ioapic.h

…

msi.h

…

pic.h

…

smp_priv.h

…

timer.h

…

vesa.h

…

vm86.h

…