google / capsicum-linux
Linux kernel with Capsicum support
☆206Updated 4 years ago
Alternatives and similar repositories for capsicum-linux:
Users that are interested in capsicum-linux are comparing it to the libraries listed below
- Test suite for Capsicum☆46Updated 3 months ago
- userspace tools for linux libos☆95Updated 2 years ago
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- DTrace tools for FreeBSD☆68Updated 7 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- Patch kernel without rebooting☆86Updated 9 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- PKCS#11 Implementation for Linux☆37Updated 6 years ago
- Arrakis public repository.☆254Updated 7 years ago
- CloudABI's standard C library☆298Updated 4 years ago
- A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubble…☆292Updated 9 years ago
- Lightweight process containers for Linux☆198Updated 2 years ago
- Bitrig base system repository.☆259Updated 7 years ago
- Control Group manager☆52Updated 5 years ago
- ikgt manifest☆42Updated 2 years ago
- Linux containers control plane☆105Updated 7 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Updated 9 years ago
- C code indexer using language semantic from clang☆62Updated 5 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 4 years ago
- Totally Isolated TLS Unwrapping Server☆111Updated 4 years ago
- [No more new test patches, repo will remain as archive] Unofficial grsecurity test patch archive.☆51Updated 7 years ago
- Wiki for rump kernels☆461Updated last year
- Microcode parser for AMD, Intel, and VIA processors☆133Updated 9 years ago