Release v0.3.0003

• 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

Release v0.2.0002

Main features:

1. Reasonably complete file system stack with read-ahead and write-back caching, including a FAT12/16/32 file system driver fatfs.sys and a floppy controller driver fdc.sys.
2. In order for this to happen, the following system components are implemented in this release:

• Object Manager, in particular object parsing, object insertion, object deletion, and symbolic linking
• IO Manager, needs to support volume mount and dismount
• Cache manager, needs to be able to map cached volume file blocks into the file system driver address space, as well as requesting the file system driver in order to satisfy paged IO
• HAL, needs to support DMA, in particular the weird non-busmastering ISA DMA that requires a so-called "map register" (ie. physical memory below 16MB), because ISA devices can't access anything above 16MB
• Win32 SEH (Structured Exception Handling).

Release 0.1.0001

Basic keyboard stack and a command line shell. All drivers run in the user space. Pretty much none of the commands actually work because we haven't implemented many things, but the keyboard stack works reasonably well. We also included a beep driver to make an annoying sound on the PC speaker.