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