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.

GitHub

171 stars
42 watching
61 forks
Language: C
last commit: almost 2 years ago
Linked from 1 awesome list

chericheribsdfreebsdmorelloriscv

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
dantali0n/opencsdAn eBPF-based emulator of a computational storage device for Zoned Namespaces SSDs in QEMU.57
hardenedbsd/hardenedbsdAn operating system with strong security hardening and exploit mitigations to protect human rights and information security381
perceptionpoint/suprotectChanges memory protection in an arbitrary process by modifying its mapping47
nebgnahz/cv-rsRust wrapper around OpenCV 3.x204
bkirwi/declineA composable command-line parser for Scala applications647
huoji120/cobaltstrikedetectedDetects potential Cobalt Strike malware by analyzing memory allocation patterns during code execution272
jbakic/shieldedA software transactional memory implementation for .NET with strong guarantees on safety and thread-safety241
riscv-mcu/riscv-openocdA fork of OpenOCD with RISC-V microcontroller support35
sergev/litebsdAn operating system for microcontrollers with compact memory footprint and paging support308
radsec/rhel7-cisAutomates hardening of RHEL 7 systems to meet CIS compliance requirements30
cbsd/cbsdA cross-platform wrapper for fast deployment of virtual machines and containers680
oxis/gpusleepA tool to move sensitive data from the host memory to GPU memory before sleeping or shutting down239
malachi-iot/estdlibAn embedded C++ standard library designed for explicit and organized memory management in resource-constrained environments52
kristapsdz/minciA minimal continuous integration system used by BSD.lv projects to automate testing and reporting of software builds.28
stiletto/angrymlockerA tool to prevent processes from being swapped out of memory13