From d1312ff6e9fcaea342bcfd090662678c7a0795f4 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Wed, 20 Mar 2024 11:38:22 +0100
Subject: [PATCH] Fix definitions for kernel context switch events

---
 doc/user/emulation/events.md | 6 +++---
 src/emu/kernel/setup.c       | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/user/emulation/events.md b/doc/user/emulation/events.md
index d08fea4..6ac7a7f 100644
--- a/doc/user/emulation/events.md
+++ b/doc/user/emulation/events.md
@@ -1,7 +1,7 @@
 # Emulator events
 
 This is a exhaustive list of the events recognized by the emulator.
-Built on Mar 13 2024.
+Built on Mar 20 2024.
 
 ## Model nanos6
 
@@ -185,9 +185,9 @@ List of events for the model *nodes* with identifier **`D`** at version `1.0.0`:
 
 List of events for the model *kernel* with identifier **`K`** at version `1.0.0`:
 <dl>
-<dt><a id="KO[" href="#KO["><pre>KO[</pre></a></dt>
+<dt><a id="KCO" href="#KCO"><pre>KCO</pre></a></dt>
 <dd>out of CPU</dd>
-<dt><a id="KO]" href="#KO]"><pre>KO]</pre></a></dt>
+<dt><a id="KCI" href="#KCI"><pre>KCI</pre></a></dt>
 <dd>back to CPU</dd>
 </dl>
 
diff --git a/src/emu/kernel/setup.c b/src/emu/kernel/setup.c
index 29c0605..5f295a8 100644
--- a/src/emu/kernel/setup.c
+++ b/src/emu/kernel/setup.c
@@ -21,8 +21,8 @@ static const char model_name[] = "kernel";
 enum { model_id = 'K' };
 
 static struct ev_decl model_evlist[] = {
-	{ "KO[", "out of CPU" },
-	{ "KO]", "back to CPU" },
+	{ "KCO", "out of CPU" },
+	{ "KCI", "back to CPU" },
 	{ NULL, NULL },
 };