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.☆55Updated this week
- GitHub mirror of the SELinux kernel repository☆154Updated this week
- refpolicy has moved to https://github.com/SELinuxProject/refpolicy☆126Updated 7 years ago
- SELinux Policy Analysis Tools☆181Updated last month
- SELinux Policy Analysis Tools v3☆69Updated 10 years ago
- Tools to manage the Linux NetLabel subsystem☆28Updated 4 months ago
- setools has moved to https://github.com/SELinuxProject/setools☆91Updated 7 years ago
- SELinux Reference Policy v2☆333Updated this week
- TPM subsystem updates for Linux kernel source tree☆22Updated 7 years ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆23Updated 9 months ago
- Fedora SELinux Userspace☆25Updated 2 weeks ago
- Linux Security Module Stacking☆8Updated this week
- Upstream Linux Kernel Validation Project API☆40Updated last year
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆85Updated 8 years ago
- SELinux policy analysis tool☆17Updated 4 years ago
- selinux-policy for Fedora is a large patch off the mainline☆180Updated this week
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference. We don't handle pull requests.☆37Updated 3 weeks ago
- Small C tool for Linux filesystem encryption☆129Updated 2 months ago
- Linux UEFI Validation Distribution☆115Updated 4 years ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆21Updated 5 years ago
- Linux kernel source tree☆26Updated last week
- Framework for network configuration☆105Updated 3 months ago
- Kexec Tools: Userspace portion of Kexec☆70Updated last month
- UEFI shim loader☆65Updated 3 years ago
- DEPRECATED TPM enabled GRUB2 Bootloader☆194Updated 3 years ago
- Linux kernel source tree☆25Updated 2 years ago
- refpolicy-contrib has moved to https://github.com/SELinuxProject/refpolicy☆28Updated 7 years ago
- Mirror of gitlab.com/qemu-project/u-boot.git☆62Updated this week
- A standard Linux kernel tree with KVM for ARM patches☆60Updated 9 years ago
- ARM Trusted Firmware☆14Updated 7 years ago