Awesome

Sigma :rocket:

Sigma OS is located in this repo

It is an x86_64 (semi)POSIX (semi)Microkernel but still in early development

How to build

Look in sigma-os/bootstrap

Features

• Full x86_64 long mode support
• Support for a lot of x86(_64) minor features (e.g. SMEP, SMAP, PCID and x2APIC)
• ACPI and AML support with lai
• APIC support + LAPIC timer for scheduling IRQs
• PCI / PCI-Express Configuration space enumeration
• SMP + Simple Queue based scheduler
• Dynamically linked userland backed by mlibc
• Modern disk drivers (AHCI, NVMe)
• Virtualization (AMD-V only for now)
• Protection against malicious drivers with IOMMU (VT-d only for now)

Notes

• Sigma does try to have as much drivers and things in userspace(PL3) but it doesn't attempt to move the memory manager and process management / scheduler out of the kernel.

• When running vbox use the ich9 chipset, if you must use the piix3 chipset you need to explicitly enable the HPET with this command VBoxManage modifyvm <your vm name> --hpet on