• Added support for UEFI booting and UEFI high definition graphics console rendering
• Added support for coreboot high definition graphics console
• Added support for IOAPIC/IOAPICx2. Removed support for legacy PIC
• Added support for MSI/MSI-X interrupt, enabled by default for all PCI(E) devices
• Added support for High Precision Event Timer (HPET), enabled by default on amd64
• Ported the ACPI driver from ReactOS and added support for ACPI device enumeration, poweroff and reboot
• Ported the PCI(E) driver from ReactOS and added support for PCI(E) device enumeration and config
• Ported the storage class drivers classpnp.sys and disk.sys from the Microsoft open-source sample drivers.
• Ported the (incomplete) storport driver from ReactOS and added enough missing pieces to support the AHCI and NVME miniport drivers
• Ported the storahci miniport driver from Microsoft open-source sample drivers
• Ported the open-source Open Systems Alliance NVME miniport driver
• Updated seL4 to upstream release 14.0.0
• Many bug fixes and overall improvements to the NT Executive and device driver interface