Call the ACPI driver to shutdown the machine. - Githubissues

cl91 / NeptuneOS

Neptune OS: A Windows NT personality for the seL4 microkernel

GNU General Public License v3.0

374 stars 11 forks source link

Call the ACPI driver to shutdown the machine. #16

Open cl91 opened 4 months ago