dburgener / cascadeLinks
A high level language for SELinux policy
☆59Updated 4 months ago
Alternatives and similar repositories for cascade
Users that are interested in cascade are comparing it to the libraries listed below
Sorting:
- UAPI Group Specifications☆111Updated last month
- Build initrd images using mkosi and distro packages☆39Updated last year
- A collection of ideas for new kernel features☆63Updated last month
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆56Updated 5 months ago
- Enhanced config file parser, which merges config files placed in several locations into one.☆89Updated 2 months ago
- kdevops history tree - use new git tree☆46Updated last year
- manage initrd cpio archives☆30Updated this week
- ☆24Updated 3 months ago
- Experimental pacman integration for Reproducible Builds and Binary Transparency (with sigstore/rekor)☆86Updated last year
- Script to generate an OVMF vars file with default secure boot key enrolled.☆92Updated 3 years ago
- A tool to easily run flatpak apps isolated inside a VM using QEMU/KVM☆118Updated 6 years ago
- Linux kernel source tree with OpenPaX patch☆93Updated 4 months ago
- The btrfs debugger☆20Updated 11 months ago
- Bootloader updater☆164Updated this week
- An OpenPGP backend for rpm using Sequoia PGP☆18Updated 3 weeks ago
- Attest the trustworthiness of a device against a human using time-based one-time passwords☆176Updated last year
- A userspace fake of "sudo"☆20Updated 4 years ago
- Source code of https://whatsrc.org/☆40Updated 3 months ago
- Tool to help with email-based patch workflows☆92Updated last week
- Patch attestation utility☆30Updated last month
- Reviews of shim☆75Updated last month
- Enabling continuous integration for patch-based development workflows.☆81Updated last year
- ☆84Updated 4 years ago
- 🗜️ fast r/o squashfs implementation written in C.☆47Updated last month
- usand - convenient and minimal unshare(1)-based sandbox☆66Updated 4 years ago
- A library for manipulating block devices.☆116Updated this week
- ☆40Updated last year
- Generic Health Checking Framework for systemd☆124Updated 4 months ago
- C implementation of the Varlink protocol and command line tool☆127Updated 4 months ago
- Linux kernel - See Landlock issues☆42Updated 3 months ago