Rodrigo Arias a8a8a0e763 Add nOS-V non-blocking scheduler server events ...

The events are emitted when we enter the scheduler with the non-blocking
flag, which is usually the case when using the nosv_yield and
nosv_schedpoint API functions.

See: https://gitlab.bsc.es/nos-v/nos-v/-/merge_requests/155

2025-03-21 16:57:44 +01:00

..

dev

Change hyperlinks to point to .md files

2024-10-25 13:41:15 +02:00

fig

Move user guide docs to a new directory

2023-03-24 12:08:45 +00:00

user

Add nOS-V non-blocking scheduler server events

2025-03-21 16:57:44 +01:00

CHANGELOG.md

Include changelog in documentation

2023-11-16 12:39:14 +01:00

extra.css

Add more documentation

2022-09-12 16:16:10 +02:00

index.md

Remove tracing.md

2024-10-25 13:41:15 +02:00

requirements.txt

Update mkdocs to 1.6.0

2024-09-13 09:38:40 +02:00