cheribsd
Memory protector OS
An operating system that provides memory protection and software compartmentalization features using the CHERI ISA.
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
171 stars
42 watching
61 forks
Language: C
last commit: almost 2 years agoLinked from 1 awesome list
chericheribsdfreebsdmorelloriscv
Related projects:
| Repository | Description | Stars |
|---|---|---|
| An eBPF-based emulator of a computational storage device for Zoned Namespaces SSDs in QEMU. | 57 | |
| An operating system with strong security hardening and exploit mitigations to protect human rights and information security | 381 | |
| Changes memory protection in an arbitrary process by modifying its mapping | 47 | |
| Rust wrapper around OpenCV 3.x | 204 | |
| A composable command-line parser for Scala applications | 647 | |
| Detects potential Cobalt Strike malware by analyzing memory allocation patterns during code execution | 272 | |
| A software transactional memory implementation for .NET with strong guarantees on safety and thread-safety | 241 | |
| A fork of OpenOCD with RISC-V microcontroller support | 35 | |
| An operating system for microcontrollers with compact memory footprint and paging support | 308 | |
| Automates hardening of RHEL 7 systems to meet CIS compliance requirements | 30 | |
| A cross-platform wrapper for fast deployment of virtual machines and containers | 680 | |
| A tool to move sensitive data from the host memory to GPU memory before sleeping or shutting down | 239 | |
| An embedded C++ standard library designed for explicit and organized memory management in resource-constrained environments | 52 | |
| A minimal continuous integration system used by BSD.lv projects to automate testing and reporting of software builds. | 28 | |
| A tool to prevent processes from being swapped out of memory | 13 |