Skip to content

Issues: CHERIoT-Platform/cheriot-rtos

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 33 Closed
17 Open 33 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Future small tweaks to switcher?
#334 opened Nov 5, 2024 by nwf
7 tasks
1
Allocator: apply violence to free up some bits in the chunk header
#332 opened Nov 1, 2024 by nwf
Libraries should be compiled with CHERIOT_NO_AMBIENT_MALLOC
#322 opened Oct 25, 2024 by PhilDay-CT
2
Token APIs have confusing names
#319 opened Oct 18, 2024 by davidchisnall
1
stdio/stderr UART initialization
#317 opened Oct 17, 2024 by GregAC
1
Allocator needs more aggressive fuzzing
#305 opened Oct 3, 2024 by davidchisnall
Explore alternate build systems
#304 opened Oct 3, 2024 by davidchisnall
5 tasks
13
Update claims documentation
#281 opened Aug 5, 2024 by rmn30
Add a compartment initalisation framework
#275 opened Jul 25, 2024 by PhilDay-CT
1
Large globals sections are incorrectly set up
#230 opened May 24, 2024 by davidchisnall
1
@davidchisnall
4
MMIO regions are artificially constrained to 2^24 bytes
#182 opened Mar 11, 2024 by sleffler
5
Separate permissions in quotas good first issue Good for newcomers
#141 opened Nov 29, 2023 by davidchisnall
Create sub-quotas for allocation capabilities good first issue Good for newcomers
#140 opened Nov 29, 2023 by davidchisnall
1
Loader does not check interrupt status for thread entry points
#129 opened Nov 1, 2023 by davidchisnall
@davidchisnall
Static sealing types parameterized by template parameters?
#97 opened Jul 11, 2023 by nwf-msr
@davidchisnall
1
Should interrupts be enabled when the scheduler yields?
#56 opened Apr 14, 2023 by rmn30
2
The compartment switcher holds interrupts disabled for too long
#47 opened Apr 3, 2023 by davidchisnall
@davidchisnall
ProTip! Type g i on any issue or pull request to go back to the issue listing page.