sugar/linux - Sugar's Linux Kernel Patch

Age	Commit message (Expand)	Author
6 days	rv: Fix compilation if !CONFIG_RV_REACTORS	Gabriele Monaco
2025-11-11	rv: Pass va_list to reactors	Thomas Weißschuh
2025-09-29	Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kern...	Linus Torvalds
2025-07-28	rv: Retry when da monitor detects race conditions	Gabriele Monaco
2025-07-28	rv: Add da_handle_start_run_event_ to per-task monitors	Gabriele Monaco
2025-07-22	rv/ltl: Do not execute the Buchi automaton twice on start condition	Nam Cao
2025-07-09	rv: Add support for LTL monitors	Nam Cao
2025-07-09	rv: Let the reactors take care of buffers	Nam Cao
2025-01-23	rv: Reset per-task monitors also for idle tasks	Gabriele Monaco
2023-09-01	rv: Set variable 'da_mon_##name' to static	Yu Liao
2022-07-30	Documentation/rv: Add deterministic automata monitor synthesis documentation	Daniel Bristot de Oliveira
2022-07-30	rv/include: Add instrumentation helper functions	Daniel Bristot de Oliveira
2022-07-30	rv/include: Add deterministic automata monitor definition via C macros	Daniel Bristot de Oliveira
2022-07-30	rv/include: Add helper functions for deterministic automata	Daniel Bristot de Oliveira