sigma-os / sigma

Abandoned overcomplicated Microkernel using modern x86_64 features

Sigma 🚀

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

sigma's Issues

Abandoned Kernel

I was just wondering whether you would go back to work on this kernel. You could for example port it to aarch64 or add coreutils/weston/others to your userland. Anyways, this kernel is quite cool and its a shame to see it go to rest.

Best Wishes,
Uiop Pilon

Bro

Sigma is HARAM
ALLAH IS DISPLEASED

Vro

Vibe check

Vro

Vibe check

Haram

No haram in my harem

Help pls

This ain't no empty threat

Damn

r/im14andthisisdeep

Big

chungus

Dashlane Integration

#suggestion #password_tool #Dashlane

Turns out this is more important to my workflow than I’d ever realized. I’m using the beta version of the SigmaOS Dashlane integration, and it’s … ok. The autofill feature I use in other browsers is painful not to have. Honestly, this is the only issue that’s keeping me from moving everything off Brave and into Sigma.

Bro

wtf