Gunnar Beutner acf8f2a2a3 Kernel: Support specifying a 64-bit KERNEL_BASE address ... The kernel doesn't currently boot when using an address other than 0xc0000000 because the page tables aren't set up properly for that but this at least lets us build the kernel.		2021-07-16 18:50:59 +02:00
..
Boot	Kernel: Support specifying a 64-bit KERNEL_BASE address	2021-07-16 18:50:59 +02:00
ASM_wrapper.cpp	Kernel: Move special sections into Sections.h	2021-06-24 00:38:23 +02:00
InterruptEntry.cpp	Kernel: Don't byteswap the ISR number on interrupt entry	2021-07-01 23:36:17 +02:00
Processor.cpp	Kernel: Replace raw asm functions with naked ones	2021-07-05 16:40:00 +02:00