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

@@ -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>

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

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,