dburgener / cascadeLinks
A high level language for SELinux policy
☆59Updated 3 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☆122Updated last week
- Build initrd images using mkosi and distro packages☆38Updated last year
- A collection of ideas for new kernel features☆65Updated 5 months ago
- Attest the trustworthiness of a device against a human using time-based one-time passwords☆178Updated last year
- Script to generate an OVMF vars file with default secure boot key enrolled.☆94Updated 3 years ago
- Enhanced config file parser, which merges config files placed in several locations into one.☆89Updated 3 weeks ago
- Linux kernel source tree with OpenPaX patch☆100Updated 7 months ago
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆59Updated 9 months ago
- Experimental pacman integration for Reproducible Builds and Binary Transparency (with sigstore/rekor)☆85Updated last year
- Enabling continuous integration for patch-based development workflows.☆83Updated last year
- ☆25Updated last month
- ☆43Updated last year
- kdevops history tree - use new git tree☆45Updated last year
- Bootloader updater☆176Updated this week
- A tool to easily run flatpak apps isolated inside a VM using QEMU/KVM☆120Updated 6 years ago
- A userspace fake of "sudo"☆20Updated 4 years ago
- Mirror only. Official repository at https://git.glasklar.is/system-transparency/core/system-transparency☆89Updated 4 months ago
- Scripts to slightly improve the security of the Linux boot process with UEFI Secure Boot and TPM support☆282Updated 2 years ago
- ☆25Updated 3 years ago
- Build ostree images based on Debian/Ubuntu☆117Updated 5 months ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆58Updated last week
- Calculate future (next boot) TPM PCRs after a kernel upgrade☆41Updated 5 months ago
- selinux-policy for Fedora is a large patch off the mainline☆189Updated last week
- manage initrd cpio archives☆45Updated last month
- Generic Health Checking Framework for systemd☆132Updated last month
- Rust library with higher level APIs on top of the core ostree API☆83Updated last year
- usand - convenient and minimal unshare(1)-based sandbox☆67Updated 4 years ago
- The utility to manipulate machine owner keys☆75Updated 4 months ago
- Extended verification for git tags☆135Updated 2 years ago
- Rewritten Clevis TPM2 PIN☆17Updated last year