From 72754133702bb83b8ee9c6dcea6b707e7a75e2aa Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Mon, 28 Apr 2025 11:04:01 +0200
Subject: [PATCH] Bump nOS-V model version to 2.5.1

See: https://gitlab.bsc.es/nos-v/nos-v/-/merge_requests/165
---
 doc/user/emulation/events.md   | 4 ++--
 doc/user/emulation/versions.md | 2 ++
 src/emu/nosv/setup.c           | 2 +-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/user/emulation/events.md b/doc/user/emulation/events.md
index 4f58c1e..4bd30df 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 20 2025.
+Built on Apr 28 2025.
 
 ## Model nanos6
 
@@ -633,7 +633,7 @@ List of events for the model *tampi* with identifier **`T`** at version `1.0.0`:
 
 ## Model nosv
 
-List of events for the model *nosv* with identifier **`V`** at version `2.5.0`:
+List of events for the model *nosv* with identifier **`V`** at version `2.5.1`:
 <dl>
 <dt><a id="VTc" href="#VTc"><pre>VTc(u32 taskid, u32 typeid)</pre></a></dt>
 <dd>creates task %{taskid} with type %{typeid}</dd>
diff --git a/doc/user/emulation/versions.md b/doc/user/emulation/versions.md
index 3ed6bf2..b7649ae 100644
--- a/doc/user/emulation/versions.md
+++ b/doc/user/emulation/versions.md
@@ -43,6 +43,8 @@ Track changes in emulator model versions.
 
 ## nOS-V
 
+- nosv 2.5.1
+    - Remove task complete callback from between `VTx` and `VTe` events.
 - nosv 2.5.0
     - Add support for non-blocking scheduler server events `VS{Nn}`.
 - nosv 2.4.0
diff --git a/src/emu/nosv/setup.c b/src/emu/nosv/setup.c
index 6d8babc..ce2ed8e 100644
--- a/src/emu/nosv/setup.c
+++ b/src/emu/nosv/setup.c
@@ -86,7 +86,7 @@ static struct ev_decl model_evlist[] = {
 
 struct model_spec model_nosv = {
 	.name    = model_name,
-	.version = "2.5.0",
+	.version = "2.5.1",
 	.evlist  = model_evlist,
 	.model   = model_id,
 	.create  = model_nosv_create,