google / capsicum-linuxLinks
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
Sorting:
- Test suite for Capsicum☆44Updated 7 months ago
- Scripting with Least Privilege☆108Updated 7 years ago
- userspace tools for linux libos☆95Updated 3 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆204Updated 2 years ago
- Totally Isolated TLS Unwrapping Server☆111Updated 4 years ago
- Control Group manager☆52Updated 6 years ago
- The CloudProxy Tao for Trustworthy Computing☆37Updated 7 years ago
- CloudABI's standard C library☆298Updated 4 years ago
- Lightweight process containers for Linux☆198Updated 3 years ago
- DTrace tools for FreeBSD☆67Updated 7 years ago
- Arrakis public repository.☆255Updated 7 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- A DNS server that automatically starts unikernels on demand☆305Updated 8 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- We're building a better performance management system☆79Updated 9 years ago
- privilege separation engine for OpenSSL / LibreSSL☆197Updated last year
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆64Updated 5 years ago
- Patch kernel without rebooting☆86Updated 10 years ago
- Bitrig base system repository.☆259Updated 8 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago
- 📜Automated review of open source software projects☆117Updated 5 months ago
- C code indexer using language semantic from clang☆61Updated 6 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Updated 7 years ago
- PKCS#11 Implementation for Linux☆37Updated 6 years ago
- A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...☆70Updated 3 years ago
- A lightweight script-based dynamic tracing tool for Linux☆629Updated 6 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago