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
..
2024-10-25 14:22:37 +02:00
2023-07-05 13:13:53 +02:00
2023-03-24 12:08:45 +00:00
2023-07-05 13:13:53 +02:00
2022-09-29 16:52:30 +02:00