|
About the RFC discussion category
|
|
0
|
705
|
February 25, 2020
|
|
Pre-RFC: change MCS API from us to ticks
|
|
12
|
163
|
December 31, 2025
|
|
Pre-RFC: Arm: Add TCB policy support for controlling user level access to certain system registers
|
|
5
|
772
|
March 22, 2024
|
|
Pre-RFC: To effortlessly develop seL4 systems in rust
|
|
73
|
2660
|
December 9, 2022
|
|
RFC-13: MCS: Improve constraints on grant via reply
|
|
0
|
206
|
November 22, 2022
|
|
RFC-12: seL4 Device Driver Framework
|
|
0
|
289
|
October 6, 2022
|
|
RFC-11: fault+timeout parameters in TCBConfigure (MCS)
|
|
1
|
192
|
July 25, 2022
|
|
Pre RFC: Re-implement inline assembly functions in Rust, publish as stand-alone crate
|
|
4
|
465
|
July 17, 2022
|
|
Pre-RFC: Exposing Cross-Component TCBs via CAmkES Template
|
|
7
|
412
|
May 18, 2022
|
|
PreRFC external tools
|
|
6
|
322
|
March 8, 2022
|
|
Pre-RFC: ProtectN
|
|
15
|
534
|
February 11, 2022
|
|
Pre-RFC: FPU as an object
|
|
2
|
488
|
February 11, 2022
|
|
RFC-9: Add new capability for seL4 SMC Forwarding
|
|
0
|
380
|
November 9, 2021
|
|
Pre-RFC: Build interface
|
|
7
|
682
|
September 4, 2021
|
|
RFC-7: remove CNode_Mutate
|
|
0
|
310
|
August 22, 2021
|
|
Pre-RFC: CAmkES pre_init() and pre_post() need a return code
|
|
0
|
316
|
June 9, 2021
|
|
Pre-RFC: TrustZone support on AArch64
|
|
14
|
1740
|
May 30, 2021
|
|
Pre-RFC: Allow per-thread access to system counter on Aarch64
|
|
1
|
346
|
May 14, 2021
|
|
Pre-RFC: make explicit names for connections in CAmkES optional
|
|
1
|
342
|
March 24, 2021
|
|
Pre-RFC: Boot Interface
|
|
8
|
788
|
February 19, 2021
|
|
Pre-RFC: Supported kernel configurations
|
|
4
|
428
|
February 8, 2021
|
|
Pre-RFC: interface specifications
|
|
1
|
349
|
November 11, 2020
|
|
Pre-RFC: Specify a fixed kernel ABI for each architecture
|
|
21
|
1554
|
November 10, 2020
|
|
Pre-RFC: Binding notifications to endpoints
|
|
11
|
665
|
November 9, 2020
|