SELinuxProject / cil
The SELinux Common Intermediate Language (CIL) is designed to be a language that sits between one or more high level policy languages (such as the current module language) and the low-level kernel policy representation.
☆66Updated last year
Alternatives and similar repositories for cil:
Users that are interested in cil are comparing it to the libraries listed below
- This is the upstream SELinux testsuite which is designed as a basic set of regression tests for the SELinux kernel functionality.☆54Updated last week
- GitHub mirror of the SELinux kernel repository☆154Updated last week
- SELinux Policy Analysis Tools v3☆69Updated 10 years ago
- Tools to manage the Linux NetLabel subsystem☆28Updated 2 months ago
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆126Updated 6 years ago
- SELinux Reference Policy v2☆324Updated last week
- Fedora SELinux Userspace☆24Updated last month
- TPM subsystem updates for Linux kernel source tree☆22Updated 6 years ago
- setools has moved to https://github.com/SELinuxProject/setools☆91Updated 6 years ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 4 years ago
- This Linux-PAM login module allows a X.509 certificate based user login☆74Updated 3 weeks ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆23Updated 7 months ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆86Updated 7 years ago
- Linux Security Module Stacking☆8Updated 3 weeks ago
- selinux-policy for Fedora is a large patch off the mainline☆174Updated last week
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆49Updated last week
- Patch kernel without rebooting☆86Updated 9 years ago
- UEFI shim loader☆64Updated 3 years ago
- OPAL boot and runtime firmware for POWER☆105Updated this week
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 2 months ago
- SELinux policy analysis tool☆17Updated 4 years ago
- Linux UEFI Validation Distribution☆115Updated 4 years ago
- The command-line client for the patchwork patch tracking tool☆53Updated 3 months ago
- A quilt-like series of patches plus scripts and .spec files to produce the kernel RPM package. If you are looking for a ready-to-use kern…☆152Updated this week
- Extra RHEL SELinux modules for OpenStack☆22Updated 7 months ago
- Documentation for OpenPOWER Firmware☆72Updated last year
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆61Updated 2 months ago
- Automatic bug detection and reporting tool☆244Updated last month
- ☆104Updated 8 months ago
- Linux Kernel Performance tests☆89Updated 2 years ago