Neptune OS v0.3 running on GPD Micropc (1st gen), demonstrating AHCI storage driver stack and ACPI.

Описание: Here is a short demo of Neptune OS v0.3 [1] running on GPD Micropc (1st gen). Neptune OS is a Windows NT OS personality built on top of the seL4 microkernel. It implements the upper layer of the Windows kernel (the NT Executive) as a user space process under the seL4 microkernel, that provides NT-like interfaces via standard seL4 IPC primitives to device drivers and user programs. These interfaces allow Windows device drivers to be ported to run as user space processes under Neptune OS, with potentially greater degree of security isolation and fault recovery than can be achieved under a traditional macro-kernel or hybrid-kernel OS, such as Linux and Windows.

Here in this video we showcase the AHCI storage device driver stack in action, consisting of the storage class drivers classpnp.sys and disk.sys, the storage port driver storport.sys, and the miniport driver storahci.sys. The source code of classpnp, disk, and storahci is taken directly from the official Microsoft open-source sample driver repository [2], while storport is a modified version of the storport driver from the ReactOS project. Common shell commands such as dir, pwd, copy, del are demonstrated, as well as displaying the PnP device tree, listing active drivers and processes, and showing system information. Additionally, we demonstrate the ACPI power management functions of our ACPI driver (ported from ReactOS) by rebooting and powering off the device.

[1] https://github.com/cl91/NeptuneOS
[2] https://github.com/microsoft/Windows-drive...