SELinuxProject / cilLinks
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 2 years ago
Alternatives and similar repositories for cil
Users that are interested in cil are comparing it to the libraries listed below
Sorting:
- This is the upstream SELinux testsuite which is designed as a basic set of regression tests for the SELinux kernel functionality.☆58Updated 2 months ago
- GitHub mirror of the SELinux kernel repository☆161Updated last week
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆127Updated 7 years ago
- SELinux Policy Analysis Tools☆192Updated 4 months ago
- SELinux Reference Policy v2☆367Updated this week
- SELinux Policy Analysis Tools v3☆70Updated 10 years ago
- TPM subsystem updates for Linux kernel source tree☆22Updated 7 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference. We don't handle pull requests.☆39Updated last week
- Fedora SELinux Userspace☆28Updated last week
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆86Updated 8 years ago
- Upstream Linux Kernel Validation Project API☆38Updated last year
- selinux-policy for Fedora is a large patch off the mainline☆195Updated this week
- Certifiable Linux Integration Platform (CLIP)☆48Updated 2 years 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…☆171Updated this week
- Extra RHEL SELinux modules for OpenStack☆22Updated last month
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- setools has moved to https://github.com/SELinuxProject/setools☆93Updated 7 years ago
- Automatic bug detection and reporting tool☆242Updated this week
- Small C tool for Linux filesystem encryption☆142Updated 3 months ago
- DEPRECATED TPM enabled GRUB2 Bootloader☆196Updated 4 years ago
- ARM Trusted Firmware☆14Updated 8 years ago
- Web site sources☆35Updated last week
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆67Updated 2 months ago
- Linux kernel source tree☆25Updated 2 years ago
- Tools to manage the Linux NetLabel subsystem☆28Updated 5 months ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆24Updated last month
- Generic library for reporting various problems☆33Updated this week
- UEFI shim loader☆67Updated 4 years ago
- SELinux policy analysis tool☆17Updated 5 years ago
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Updated 3 weeks ago