Luke 368f78d03c Kernel: Manually reset the XCR0 register ... According to the Intel manual: "After reset, all bits (except bit 0) in XCR0 are cleared to zero; XCR0[0] is set to 1." Sadly we can't trust this, for example VirtualBox starts with bits 0-4 set, so let's do it ourselves. Fixes #5653		2021-03-08 08:56:38 +01:00
..
i386	Kernel: Manually reset the XCR0 register	2021-03-08 08:56:38 +01:00
PC	Kernel: Fix unaligned read inside map_ebda()	2021-03-07 14:05:17 +01:00
x86	Kernel: Move SMAP disabler RAII helper to its own file	2021-02-25 17:25:34 +01:00
x86_64/Boot	Kernel: Make the kernel compile & link for x86_64	2021-03-04 18:25:01 +01:00