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

Fix typo: preemptible, not preemptable.

Browse Source
This commit is contained in:
Bruce Mitchener
2018-04-25 13:46:01 +07:00
parent a0ce040af8
commit 5cd5dac9fc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CAVEATS-generic.txt
View File

@@ -31,7 +31,7 @@ configuration of the system.
* Real Time
This version of seL4 is not a real-time kernel. It has a small number of
potentially long-running kernel operations that are not preemptable (e.g.,
potentially long-running kernel operations that are not preemptible (e.g.,
endpoint deletion and recycling, scheduling, frame and CNode initialisation).
This may change in future versions.