issues
search
seL4
/
rfcs
RFCs for the seL4 ecosystem
https://sel4.github.io/rfcs/
Other
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
README: highlight summary links
#27
lsf37
closed
2 months ago
0
RFC-18: FPU switching
#26
lsf37
closed
3 months ago
1
RFC-5: The seL4 Microkit (was: " The seL4 Core Platform")
#25
lsf37
closed
4 months ago
0
RFC-14: MCS: Adding budget limit thresholds to endpoints for SC Donation
#24
lsf37
opened
4 months ago
10
RFC-17: seL4 multikernel IPI API
#23
lsf37
closed
4 months ago
0
RFC-16: New capability for the PMU
#22
lsf37
opened
4 months ago
3
RFC-15: Support CHERI/Morello in seL4
#21
lsf37
opened
4 months ago
0
RFC-13: MCS: Improve constraints on grant via reply
#20
lsf37
closed
4 months ago
0
RFC-12: The seL4 Device Driver Framework
#19
lsf37
opened
4 months ago
1
Import RFC-11
#18
lsf37
closed
4 months ago
0
import RFC-10
#17
lsf37
closed
4 months ago
0
import RFC-9
#16
lsf37
closed
4 months ago
0
RFC-8: Remove support for ARMv6 (KZM/i.MX31)
#15
lsf37
closed
4 months ago
0
RFC-7: Removing CNode_Mutate
#14
lsf37
closed
4 months ago
0
RFC-6: The seL4 Core
#13
lsf37
closed
4 months ago
0
RFC-4: Ability to build additional bootloaders inside the seL4 build system
#12
lsf37
closed
3 months ago
1
RFC-3: Cross-platform thread-local storage support
#11
lsf37
closed
4 months ago
0
RFC-2: A dedicated C runtime for seL4
#10
lsf37
closed
4 months ago
0
RFC-1: An RFC process for the seL4 ecosystem
#9
lsf37
closed
4 months ago
1
make PR template for this repo
#8
lsf37
opened
4 months ago
0
make RFC repo public and announce change
#7
lsf37
opened
4 months ago
1
check if we are still mentioning Jira RFC anywhere
#6
lsf37
closed
4 months ago
0
replace/link RFC process description on doc site
#5
lsf37
closed
4 months ago
0
import current RFCs from Jira
#4
lsf37
closed
4 months ago
1
complete README
#3
lsf37
closed
4 months ago
0
create mdbook setup for RFCs
#2
lsf37
closed
4 months ago
0
create labels for the RFC process
#1
lsf37
closed
4 months ago
1