Projects
Filters
Dashboards
Apps
Create
RFCs
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Results will be filtered below as you type into the field
Search issues
Submit
Assignee
Reporter
Status
Type
Status Category
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
RFC
-
6
The seL4 Core
Unassigned
Ben Leslie
Postponed
Nov 19, 2020
RFC
-
5
The seL4 Core Platform
Ben Leslie
Ben Leslie
Stage-1 Approval
Nov 19, 2020
RFC
-
4
Ability to build additional bootloaders inside the seL4 build system
Alex Pavey
Alex Pavey
Proposed
Sep 16, 2020
RFC
-
3
Cross-platform thread-local storage support
Curtis Millar
Curtis Millar
Implemented
Jan 4, 2019
RFC
-
2
A dedicated C runtime for seL4
Curtis Millar
Curtis Millar
Implemented
Jan 4, 2019
RFC
-
1
An RFC process for the seL4 ecosystem.
Curtis Millar
Curtis Millar
Implemented
Dec 13, 2018
Give feedback
1-6 of 6
1