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. about 1 month 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 about 1 month 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 2 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 3 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 5 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 8 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 11 months ago

good first issue

CHERIoT-Platform/cheriot-rtos

163

The RTOS components for the CHERIoT research platform

C++