Rodrigo Arias b265442b8c Mark select channel as dirty on mux_init() ... Ensures that the select callback will be called on the propagation phase, immediately setting the right output. Otherwise the mux won't be updated until the select channel sets a new value.		2023-03-24 12:08:45 +00:00
..
nanos6	Mark select channel as dirty on mux_init()	2023-03-24 12:08:45 +00:00
nosv	Add another subsystem between nested tasks	2023-03-24 12:08:45 +00:00
ovni	Increase sort window	2023-03-24 12:08:45 +00:00
CMakeLists.txt	Add support for nOS-V	2023-03-24 12:08:45 +00:00
instr.h	Add version check and soname for libovni	2022-12-13 13:11:44 +01:00