Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sel4/rfcs issues and pull requests
#27 - README: highlight summary links
Pull Request -
State: closed - Opened by lsf37 4 months ago
Labels: not-rfc
#26 - RFC-18: FPU switching
Pull Request -
State: closed - Opened by lsf37 5 months ago
- 1 comment
Labels: active
#25 - RFC-5: The seL4 Microkit (was: " The seL4 Core Platform")
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: active
#24 - RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation
Pull Request -
State: open - Opened by lsf37 5 months ago
- 10 comments
#23 - RFC-17: seL4 multikernel IPI API
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: active
#22 - RFC-16: New capability for the PMU
Pull Request -
State: open - Opened by lsf37 5 months ago
- 3 comments
#21 - RFC-15: Support CHERI/Morello in seL4
Pull Request -
State: open - Opened by lsf37 5 months ago
#20 - RFC-13: MCS: Improve constraints on grant via reply
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: active
#19 - RFC-12: The seL4 Device Driver Framework
Pull Request -
State: open - Opened by lsf37 5 months ago
- 1 comment
#19 - RFC-12: The seL4 Device Driver Framework
Pull Request -
State: open - Opened by lsf37 5 months ago
- 1 comment
#18 - Import RFC-11
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: active
#17 - import RFC-10
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: implemented
#16 - import RFC-9
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: implemented
#15 - RFC-8: Remove support for ARMv6 (KZM/i.MX31)
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: implemented
#14 - RFC-7: Removing CNode_Mutate
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: rejected
#13 - RFC-6: The seL4 Core
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: postponed
#12 - RFC-4: Ability to build additional bootloaders inside the seL4 build system
Pull Request -
State: closed - Opened by lsf37 5 months ago
- 1 comment
Labels: rejected
#11 - RFC-3: Cross-platform thread-local storage support
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: implemented
#10 - RFC-2: A dedicated C runtime for seL4
Pull Request -
State: closed - Opened by lsf37 5 months ago
Labels: implemented
#9 - RFC-1: An RFC process for the seL4 ecosystem
Pull Request -
State: closed - Opened by lsf37 5 months ago
- 1 comment
Labels: implemented
#8 - make PR template for this repo
Issue -
State: open - Opened by lsf37 5 months ago
#7 - make RFC repo public and announce change
Issue -
State: open - Opened by lsf37 5 months ago
- 1 comment
#6 - check if we are still mentioning Jira RFC anywhere
Issue -
State: closed - Opened by lsf37 5 months ago
#5 - replace/link RFC process description on doc site
Issue -
State: closed - Opened by lsf37 5 months ago
#4 - import current RFCs from Jira
Issue -
State: closed - Opened by lsf37 5 months ago
- 1 comment
#3 - complete README
Issue -
State: closed - Opened by lsf37 5 months ago
#2 - create mdbook setup for RFCs
Issue -
State: closed - Opened by lsf37 5 months ago
#1 - create labels for the RFC process
Issue -
State: closed - Opened by lsf37 5 months ago
- 1 comment