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
cd39230089
Remove boilerplate from the models
2023-03-24 12:08:45 +00:00
a91b1c554a
Finish task types in PCF for nanos6
2023-03-24 12:08:45 +00:00
e674c92f13
Enable emu and rt tests for nanos6 and ovni
2023-03-24 12:08:45 +00:00
834b33af33
Use SPDX license identifiers
2022-09-29 14:16:47 +02:00
24cb5a37c2
Remove fake subsystem test.
...
It is now covered by the runtime tests.
2022-09-20 10:29:36 +02:00
666075e8cd
Disable Nanos6 subsystem test for now
2022-09-12 16:16:10 +02:00
ac1ae8e69d
Use one event per blocking type in Nanos6
2022-09-12 16:16:10 +02:00
6551ba80b1
Compute test name from source file
2022-09-12 16:16:10 +02:00
