From 5cd5dac9fc2636b5d42b53f144b53d6b23c91aad Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Wed, 25 Apr 2018 13:46:01 +0700 Subject: [PATCH] Fix typo: preemptible, not preemptable. --- CAVEATS-generic.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CAVEATS-generic.txt b/CAVEATS-generic.txt index 38c9b4416..12a828b53 100644 --- a/CAVEATS-generic.txt +++ b/CAVEATS-generic.txt @@ -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.