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: 2 months ago
Linked 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 |