RFC discussion
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the RFC discussion category
|
|
0 | 128 | February 25, 2020 |
|
RFC-9: Add new capability for seL4 SMC Forwarding
|
|
0 | 34 | November 9, 2021 |
|
Pre-RFC: Build interface
|
|
7 | 145 | September 4, 2021 |
|
RFC-7: remove CNode_Mutate
|
|
0 | 56 | August 22, 2021 |
|
Pre-RFC: CAmkES pre_init() and pre_post() need a return code
|
|
0 | 46 | June 9, 2021 |
|
Pre-RFC: TrustZone support on AArch64
|
|
14 | 727 | May 30, 2021 |
|
Pre-RFC: Allow per-thread access to system counter on Aarch64
|
|
1 | 62 | May 14, 2021 |
|
Pre-RFC: make explicit names for connections in CAmkES optional
|
|
1 | 62 | March 24, 2021 |
|
Pre-RFC: Boot Interface
|
|
8 | 154 | February 19, 2021 |
|
Pre-RFC: Supported kernel configurations
|
|
4 | 85 | February 8, 2021 |
|
Pre-RFC: interface specifications
|
|
1 | 119 | November 11, 2020 |
|
Pre-RFC: Specify a fixed kernel ABI for each architecture
|
|
21 | 579 | November 10, 2020 |
|
Pre-RFC: Binding notifications to endpoints
|
|
11 | 177 | November 9, 2020 |