Alex Smith d38f1301d1 Cleaned up 32-bit descriptors.h.

2012-07-12 13:55:03 +01:00

..

32

Cleaned up 32-bit descriptors.h.

2012-07-12 13:55:03 +01:00

64

Implemented threading for x86_64.

2012-07-09 16:43:01 +01:00

apic.h

…

apm.h

Compile in arch_platform.cpp for x86_64. The apm_init call is disabled for x86_64, APM is 32-bit only.

2012-07-06 14:17:48 +01:00

arch_acpi.h

…

arch_cpu.h

Moved the 32-bit page fault handler to arch_int.cpp, use it for x86_64.

2012-07-09 19:18:09 +01:00

arch_debug.h

Implemented threading for x86_64.

2012-07-09 16:43:01 +01:00

arch_hpet.h

…

arch_int.h

x86_{read,write}_cr{0,4} can just be implemented as macros, put an x86_ prefix on the other read/write macros for consistency.

2012-07-03 20:55:36 +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

A few improvements suggested by Ingo.

2012-07-06 14:34:50 +01:00

arch_smp.h

…

arch_system_info.h

Added arch_cpu.cpp to the x86_64 build.

2012-07-04 14:06:46 +01:00

arch_thread_types.h

Implemented threading for x86_64.

2012-07-09 16:43:01 +01:00

arch_thread.h

Implemented threading for x86_64.

2012-07-09 16:43:01 +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

Renamed remaining i386_* functions to x86_* for consistency.

2012-07-09 12:14:18 +01:00

timer.h

…

vesa.h

…

vm86.h

…