dburgener / cascadeLinks
A high level language for SELinux policy
☆59Updated 5 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☆129Updated 3 weeks ago
- Build initrd images using mkosi and distro packages☆38Updated last year
- Enhanced config file parser, which merges config files placed in several locations into one.☆90Updated last month
- A collection of ideas for new kernel features☆65Updated last month
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆60Updated 11 months ago
- Experimental pacman integration for Reproducible Builds and Binary Transparency (with sigstore/rekor)☆86Updated last year
- ☆27Updated 3 months ago
- ☆10Updated 5 years ago
- Linux kernel source tree with OpenPaX patch☆101Updated 9 months ago
- Enabling continuous integration for patch-based development workflows.☆83Updated last year
- Patch attestation utility☆32Updated this week
- A tool to easily run flatpak apps isolated inside a VM using QEMU/KVM☆122Updated 6 years ago
- ☆43Updated last year
- C-friendly API to make path resolution safer on Linux.☆118Updated this week
- Independent verification of binary packages - Reproducible Builds☆415Updated last week
- Script to generate an OVMF vars file with default secure boot key enrolled.☆95Updated 3 years ago
- Attest the trustworthiness of a device against a human using time-based one-time passwords☆188Updated last year
- A userspace fake of "sudo"☆20Updated 4 years ago
- ☆25Updated 3 years ago
- Bootloader updater☆184Updated this week
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆59Updated 2 months ago
- manage initrd cpio archives☆45Updated last week
- kdevops history tree - use new git tree☆45Updated last year
- Sandboxing tool powered by Landlock☆113Updated last month
- usand - convenient and minimal unshare(1)-based sandbox☆67Updated 5 years ago
- Build ostree images based on Debian/Ubuntu☆118Updated 7 months ago
- Extended verification for git tags☆138Updated last week
- Rust library with higher level APIs on top of the core ostree API☆82Updated last year
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆283Updated 3 years ago
- A library for manipulating block devices.☆122Updated 3 weeks ago