CHERIoT-Platform

CHERIoT-Platform/cheriot-rtos

The RTOS components for the CHERIoT research platform

163 stars 66 forks 163 watchers C++ MIT License

7 Open Issues Need Help Last updated: Jul 1, 2026

Open Issues Need Help

View All on GitHub

`gettimeofday` support should be moved to an RTC compartment. 5 days ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++

heap_claim should return negative on failure 12 days ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++

Further ponder reworking allocator ephemeral claim implementation about 1 month ago

help wanted

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++

Factor out C++ type-indexed virtual sealing type machinery 2 months ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++

Allocator: consider allocation _rate_ quotas as well 4 months ago

enhancement help wanted question

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++

Create sub-quotas for allocation capabilities 7 months ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++

core/allocator: heap_free_all should periodically yield the allocator lock 10 months ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++