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`:
VTc(u32 taskid, u32 typeid)
creates task %{taskid} with type %{typeid}
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,