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.