dburgener / cascadeLinks
A high level language for SELinux policy
☆59Updated 2 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☆117Updated last week
- Build initrd images using mkosi and distro packages☆39Updated last year
- A collection of ideas for new kernel features☆64Updated 3 months ago
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆57Updated 7 months ago
- ☆24Updated 5 months ago
- ☆42Updated last year
- Enhanced config file parser, which merges config files placed in several locations into one.☆90Updated 2 months ago
- Script to generate an OVMF vars file with default secure boot key enrolled.☆93Updated 3 years ago
- Bootloader updater☆167Updated this week
- A tool to easily run flatpak apps isolated inside a VM using QEMU/KVM☆119Updated 6 years ago
- Independent verification of binary packages - Reproducible Builds☆403Updated last month
- C-friendly API to make path resolution safer on Linux.☆96Updated this week
- Experimental pacman integration for Reproducible Builds and Binary Transparency (with sigstore/rekor)☆86Updated last year
- A userspace fake of "sudo"☆20Updated 4 years ago
- Linux kernel source tree with OpenPaX patch☆96Updated 6 months ago
- Enabling continuous integration for patch-based development workflows.☆82Updated last year
- Patch attestation utility☆31Updated 3 months ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆59Updated last week
- ☆24Updated 3 years ago
- Rust library with higher level APIs on top of the core ostree API☆81Updated 10 months ago
- Attest the trustworthiness of a device against a human using time-based one-time passwords☆178Updated last year
- C implementation of the Varlink protocol and command line tool☆128Updated 6 months ago
- kdevops history tree - use new git tree☆45Updated last year
- manage initrd cpio archives☆35Updated 3 weeks ago
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆282Updated 2 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆67Updated 4 years ago
- The btrfs debugger☆21Updated last year
- selinux-policy for Fedora is a large patch off the mainline☆184Updated last week
- Generic Health Checking Framework for systemd☆129Updated last week
- Mirror only. Official repository at https://git.glasklar.is/system-transparency/core/system-transparency☆89Updated 3 months ago