CHERIoT-Platform

CHERIoT-Platform/cheriot-rtos

The RTOS components for the CHERIoT research platform

7 good first / help-wanted issues · C++ · last activity Jul 1, 2026

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. 4 months 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 4 months 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 5 months 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 6 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 8 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 11 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 about 1 year ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++