Andreas Kling 5b7f8634e3 Kernel: Set the G (global) bit for kernel page tables ...

Since the kernel page tables are shared between all processes, there's
no need to (implicitly) flush the TLB for them on every context switch.

Setting the G bit on kernel page tables allows the CPU to keep the
translation caches around.

2019-11-03 23:51:55 +01:00

..

Boot

Kernel: Remove nonsense in bootstrap code

2019-11-03 14:40:28 +01:00

APIC.cpp

APIC: Enable APIC and start APs

2019-10-16 19:14:02 +02:00

APIC.h

APIC: Enable APIC and start APs

2019-10-16 19:14:02 +02:00

CPU.cpp

APIC: Enable APIC and start APs

2019-10-16 19:14:02 +02:00

CPU.h

Kernel: Set the G (global) bit for kernel page tables

2019-11-03 23:51:55 +01:00

PIC.cpp

Kernel: Move PIC.cpp into Arch/i386/

2019-07-09 15:04:43 +02:00

PIC.h

Kernel: Move PIC.cpp into Arch/i386/

2019-07-09 15:04:43 +02:00

PIT.cpp

Kernel: Add exception_code to RegisterDump.

2019-10-07 16:39:47 +02:00

PIT.h

Kernel: Move i8253.cpp => Arch/i386/PIT.cpp

2019-07-09 15:04:45 +02:00