xinuos / gabiLinks
☆30Updated last month
Alternatives and similar repositories for gabi
Users that are interested in gabi are comparing it to the libraries listed below
Sorting:
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆187Updated this week
- Scripts for cross-compiling and creating an Hurd system☆31Updated 3 months ago
- usand - convenient and minimal unshare(1)-based sandbox☆67Updated 4 years ago
- Standalone portable header-based implementation of FORTIFY_SOURCE=3☆33Updated this week
- A collection of ideas for new kernel features☆65Updated 4 months ago
- Full history of Linux created by Yoann Padioleau and Rob Landley. See the wiki for usage instructions.☆62Updated 7 months ago
- A tutorial on the illumos Doors API☆43Updated last month
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆57Updated 8 months ago
- ☆19Updated 3 weeks ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Updated 4 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆150Updated this week
- BCM5719 firmware reimplementation☆86Updated 9 months ago
- bootstrap illumos on AArch64☆32Updated last month
- OpenBSD unveil(2) like function in Linux using Landlock☆31Updated 5 months ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆127Updated 6 months ago
- QEMU with support for CHERI☆61Updated 3 weeks ago
- Working area for collabouratively developing POWER9 JIT for Firefox.☆20Updated 6 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 4 months ago
- Incremental backup with strong cryptographic confidentiality baked into the data model.☆130Updated 2 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- Xen hypercall and interfaces in Rust☆16Updated 9 months ago
- PulseAudio-compatible rump kernel translator for GNU Hurd☆13Updated 8 years ago
- Musl-nscd is an implementation of the NSCD protocol, suitable for use with musl and with standard NSS modules☆51Updated 3 years ago
- Website for stories around the Genode operating system☆17Updated 4 months ago
- ☆40Updated 10 months ago
- OPAL boot and runtime firmware for POWER☆111Updated 2 weeks ago
- A high level language for SELinux policy☆59Updated 3 months ago
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆21Updated 9 years ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆72Updated 2 years ago
- A userspace fake of "sudo"☆20Updated 4 years ago