| .. |
|
32
|
kernel/x86: Inline atomic functions and memory barriers
|
2014-01-06 09:08:53 +01:00 |
|
64
|
x86[_64]: Separate bootloader and kernel GDT and IDT logic
|
2014-01-28 00:44:02 +01:00 |
|
apic.h
|
x86: Implement multicast ICIs
|
2013-12-19 19:35:44 +01:00 |
|
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
|
* Add validation of the RSDP checksums.
|
2011-06-12 22:01:43 +00:00 |
|
arch_atomic.h
|
kernel: No need for arch specific ifdefs in arch/atomic.h
|
2014-01-20 04:09:17 +01:00 |
|
arch_cpu.h
|
x86: Implement multicast ICIs
|
2013-12-19 19:35:44 +01:00 |
|
arch_debug.h
|
Implemented threading for x86_64.
|
2012-07-09 16:43:01 +01:00 |
|
arch_hpet.h
|
Some big changes, still not working on my laptop, since hpet interrupts
|
2009-09-29 08:36:36 +00:00 |
|
arch_int.h
|
x86[_64]: Support assigning MSI IRQs to arbitrary CPU
|
2013-12-20 01:07:08 +01:00 |
|
arch_kernel_args.h
|
x86[_64]: Separate bootloader and kernel GDT and IDT logic
|
2014-01-28 00:44:02 +01:00 |
|
arch_kernel.h
|
x86_64: put user stack and team data at top of user address space
|
2013-04-04 20:54:56 +02:00 |
|
arch_smp.h
|
kernel: Allow reassigning IRQs to logical processors
|
2013-11-18 04:55:25 +01:00 |
|
arch_system_info.h
|
x86[_64]: Add support for CPUID sub-leaves
|
2013-10-01 20:31:18 +02:00 |
|
arch_thread_types.h
|
Implemented the rest of the kernel debugger functions for x86_64.
|
2012-07-13 14:09:09 +01:00 |
|
arch_thread.h
|
x86: Debugger can now use dr3
|
2013-12-17 04:31:29 +01:00 |
|
arch_user_debugger.h
|
x86: Debugger can now use dr3
|
2013-12-17 04:31:29 +01:00 |
|
arch_vm_translation_map.h
|
* Removed i386_translation_map_get_pgdir() and adjusted the one place where it
|
2010-06-08 00:20:34 +00:00 |
|
arch_vm_types.h
|
|
|
|
arch_vm.h
|
|
|
|
bios.h
|
Moved some 32-bit specific stuff to the 32 subdirectory.
|
2012-07-12 14:23:55 +01:00 |
|
descriptors.h
|
x86[_64]: Separate bootloader and kernel GDT and IDT logic
|
2014-01-28 00:44:02 +01:00 |
|
ioapic.h
|
* Don't map the IO-APIC within the bootloader. We don't need it to set up SMP
|
2011-05-13 16:31:31 +00:00 |
|
msi_priv.h
|
MSI: Use the effective APIC id of the boot CPU for the address destination.
|
2013-07-29 17:36:03 +02:00 |
|
msi.h
|
x86[_64]: Support assigning MSI IRQs to arbitrary CPU
|
2013-12-20 01:07:08 +01:00 |
|
pic.h
|
* Implement interrupt source overrides. We install a relay interrupt handler
|
2011-05-16 12:57:40 +00:00 |
|
smp_priv.h
|
Renamed remaining i386_* functions to x86_* for consistency.
|
2012-07-09 12:14:18 +01:00 |
|
timer.h
|
|
|
|
vesa.h
|
|
|
527da4ca8a