clipos / src_external_linux
Linux kernel for CLIP OS with additional patches
☆62Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for src_external_linux
- CLIP OS product recipes☆65Updated 3 years ago
- CLIP OS toolkit (cosmk)☆16Updated 3 years ago
- CLIP OS issue tracker☆28Updated 6 years ago
- HardenedBSD stable repo. Installer images built from this repo: http://installer.hardenedbsd.org/☆132Updated 3 years ago
- Documentation for the Heads firmware project☆85Updated last week
- Unofficial forward ports of the last publicly available grsecurity patch☆150Updated 6 years ago
- Qubes component: linux-kernel☆86Updated this week
- RIDL test suite and exploits☆352Updated 4 years ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆84Updated 7 years ago
- Qubes component: core-admin☆124Updated this week
- Docs and resources on CPU Speculative Execution bugs☆372Updated 6 years ago
- Qubes component: vmm-xen☆35Updated this week
- CLIP OS Manifest☆11Updated 4 years ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- Qubes Builder☆82Updated 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…☆57Updated 2 weeks ago
- Qubes management API client☆34Updated this week
- ☆39Updated last month
- Subgraph pH☆11Updated 2 years ago
- HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus…☆378Updated this week
- Hardened kernel generation - Deprecated☆49Updated 7 years ago
- Various articles I've written☆115Updated last year
- Qubes component: linux-utils☆26Updated this week
- Qubes component: core-agent-linux☆51Updated this week
- GitHub mirror of the SELinux kernel repository☆149Updated last month
- Intel Management Engine JTAG Proof of Concept☆509Updated 4 years ago
- My tool for working with Intel Management Engine - RETIRED REPO (see coreboot for new upstream)☆156Updated 6 years ago
- It contains hardenedlinux community documentation.☆60Updated last year
- Extract BIOS firmware from Intel-based workstations and laptops☆314Updated 6 months ago