Popular repositories Loading

1. epkg-packets epkg-packets Public

   Standard ML 1

2. epkg-tool epkg-tool Public

   C 1

3. glm-os glm-os Public

   GLM OS — a 64-bit operating system written from scratch in pure Rust (no_std): Limine bootloader, own GDT/IDT, heap allocator, FAT32, shell. v0.2: own page tables, ring 3 userspace, ELF loader.

   Rust 1

4. SeaBSD SeaBSD Public

   SeaBSD - a user-first desktop operating system based on FreeBSD: hardware that just works, best-in-class Linux app compatibility (linuxolator), resilient sandboxes.

   Shell 1

5. NiriGNU NiriGNU Public

   GNU Mach microkernel - study & bugfix playground (upstream: gitlab.com/hurd/gnumach)

   C 1

6. Coonix Coonix Public

   x86_64 hobby OS built for glibc. Mascot: raccoon (enot). Limine + C kernel + ring3 shell.

   C