RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

CHANGES: upgrade note for seL4_MinSchedContextBits

Browse Source 
The seL4_MinSchedContextBits change has a predictable failure mode that
is not easy to debug otherwise.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2023-03-02 18:24:55 +11:00
committed by Gerwin Klein
parent e4f91dbc63
commit 8206c80362
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
CHANGES
View File

@@ -36,7 +36,7 @@ Upcoming release: BREAKING
compliant.
* Remove imx31/kzm platform support. This platform is being removed as it is sufficiently old and unused.
* Remove ARM1136JF_S and ARMv6 support. This architecture version is being removed as it is sufficiently old and
unused. See <https://sel4.atlassian.net/browse/RFC-8.>
unused. See [RFC-8](https://sel4.atlassian.net/browse/RFC-8).
* Remove ARMv6 specific configs: KernelGlobalsFrame and KernelDangerousCodeInjectionOnUndefInstr. This removes the
constant seL4_GlobalsFrame from libsel4 as well as the IPC buffer in GlobalsFrame caveat from CAVEATS-generic.md
* Implement KernelArmExportPTMRUser and KernelArmExportVTMRUser options for Arm generic timer use access on aarch32.
@@ -51,6 +51,12 @@ Upcoming release: BREAKING
`gen_config.h` file after running `cmake`, run `ninja gen_config/kernel/gen_config.h`.
## Upgrade Notes
* The change in `seL4_MinSchedContextBits` can lead to failure where code previously created
scheduling contexts with size `seL4_MinSchedContextBits` and expected more than the 2 minimum
refills to be available for that size. Either use a larger size (the previous value 8 of
`seL4_MinSchedContextBits`) in retyping, or request fewer refills.
---
12.1.0 2021-06-10: SOURCE COMPATIBLE