dburgener / cascade
A high level language for SELinux policy
☆58Updated 3 weeks ago
Alternatives and similar repositories for cascade:
Users that are interested in cascade are comparing it to the libraries listed below
- A collection of ideas for new kernel features☆53Updated 5 months ago
- Build initrd images using mkosi and distro packages☆40Updated last year
- UAPI Group Specifications☆102Updated 3 months ago
- Enabling continuous integration for patch-based development workflows.☆80Updated 11 months ago
- Bootloader updater☆152Updated this week
- C-friendly API to make path resolution safer on Linux.☆89Updated this week
- Script to generate an OVMF vars file with default secure boot key enrolled.☆87Updated 2 years ago
- Linux kernel - See Landlock issues☆39Updated 3 months ago
- Converged Security Suite for Intel & AMD platform security features☆60Updated last month
- Rewritten Clevis TPM2 PIN☆16Updated 11 months ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆57Updated last week
- Enhanced config file parser, which merges config files placed in several locations into one.☆84Updated 2 months ago
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆49Updated last month
- Linux kernel source tree (Kernel Self Protection Project)☆85Updated 2 months ago
- Tool to help with email-based patch workflows☆82Updated 3 weeks ago
- Build postprocessor to reset metadata fields for build reproducibility☆60Updated this week
- ☆20Updated last week
- Authenticate the cryptographic chain-of-custody of Linux distributions (like Arch Linux and Debian) to their source code inputs☆29Updated last month
- kdevops history tree - use new git tree☆46Updated 11 months ago
- Fedora Policy Contributions☆38Updated 3 years ago
- Source code of https://whatsrc.org/☆37Updated 3 weeks ago
- A library for manipulating block devices.☆108Updated 2 weeks ago
- Reviews of shim☆68Updated last week
- ☆40Updated 3 months ago
- A fedora messaging consumer that files bugzilla bugs for upstream releases☆45Updated 2 months ago
- A userspace fake of "sudo"☆20Updated 4 years ago
- Rust library with higher level APIs on top of the core ostree API☆81Updated 4 months ago
- Linux kernel source tree with OpenPaX patch☆91Updated last week
- ☆24Updated 2 years ago
- C implementation of the Varlink protocol and command line tool☆123Updated 2 weeks ago