ovni/doc/user
Rodrigo Arias Mallo 815633221d Port nOS-V model to task bodies
The nOS-V events are modified in two ways: 1) to create a parallel task
the new VTC event must be used and 2) all task events for both normal
(VTc) and parallel (VTC) tasks require an extra argument in the payload
to indicate the body id. As a consequence, the nOS-V model version is
now increased to 2.0.0.

Additionally, all the channel PRV flags are set to PRV_SKIPDUPNULL, so
duplicates are only emitted if they are not null. It solves the problem
when a task switches to another task with the same body id.

A new Paraver configuration is added for the body id.
2024-03-13 17:07:26 +01:00
..
emulation Port nOS-V model to task bodies 2024-03-13 17:07:26 +01:00
fig Move user guide docs to a new directory 2023-03-24 12:08:45 +00:00
runtime Correct documentation on thread metadata 2023-11-16 12:39:14 +01:00
concepts.md Move user guide docs to a new directory 2023-03-24 12:08:45 +00:00
installation.md Move user guide docs to a new directory 2023-03-24 12:08:45 +00:00