MirageOS

A library operating system for building unikernels in OCaml.

LibraryOperating systemsunikernelocamlminimal-attack-surface

Recommended in 1 thread

Linode Security Incident
status.linode.com · 2 days ago
Suggested as a way to shrink attack surface via unikernels.

ublk ↗Operating systems
A Linux kernel framework for implementing block devices in userspace over io_uring.
1 thread
OpenBSD Operating systems
A security-focused free Unix-like operating system.
1 thread
FreeBSD Operating systems
An open-source Unix-like operating system with integrated ZFS support.
1 thread
Qubes OS ↗Operating systems
A security-focused desktop OS using compartmentalized virtual machines.
1 thread
NixOS Operating systems
A Linux distribution with declarative system configuration.
3 threads
LibreELEC Operating systems
A minimal Linux distribution built to run Kodi.
1 thread
windows-syscalls ↗Operating systems
A GitHub repository of Windows system call tables by j00ru.
1 thread
Fedora Atomic Operating systems
Immutable image-based variants of Fedora.
1 thread

GrapheneOS ↗
A privacy- and security-focused Android distribution for Pixel phones.
11 threads
Debian ↗
A community Linux distribution with its own packaged PHP and security updates.
5 threads
seL4
A formally verified microkernel.
4 threads
KDE Plasma
A desktop environment for Linux and other Unix-like systems.
3 threads
NixOS
A Linux distribution with declarative system configuration.
3 threads
AlmaLinux
A free, community-run Linux distribution binary-compatible with RHEL.
2 threads
Asahi Linux ↗
A Linux distribution ported to run natively on Apple Silicon Macs.
2 threads
GNU Guix ↗
A functional package manager and Linux distribution with transactional upgrades.
2 threads
deb.sury.org ↗
A third-party repository providing PHP packages for Debian and Ubuntu.
2 threads
Btrfs
A copy-on-write Linux filesystem with snapshot support.
1 thread
Debian Backports ↗
An official repository that brings newer packages and kernels to Debian stable.
1 thread
DroidDeck ↗
An Android tool for running PC games on ARM handhelds.
1 thread