summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2022-02-11 01:26:52 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-02-11 01:26:52 +0100
commitdea83f48eaf03422ee94c351a4520257e4d319f4 (patch)
tree40338052b5a86efed74668c4bd36e5898cd1e1b2
parent3986853dc7b1fa3f07ab518dfebe8de0096a4d26 (diff)
Make it clear that there is user-land preemption
-rw-r--r--microkernel/mach/gnumach/preemption.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/preemption.mdwn b/microkernel/mach/gnumach/preemption.mdwn
index 520f7bc9..130bb58b 100644
--- a/microkernel/mach/gnumach/preemption.mdwn
+++ b/microkernel/mach/gnumach/preemption.mdwn
@@ -11,7 +11,7 @@ License|/fdl]]."]]"""]]
[[!tag open_issue_gnumach]]
-There currently is no kernel preemption in GNU Mach.
+There currently is no kernel-land preemption in GNU Mach, only user-land preemption.
If GNU Mach were made a a preemptive kernel, using [[continuation]]s would
probably no longer make sense as the kernel itself, that is, kernel threads can