index
:
linux-toradex.git
colibri
colibri_vf
master
tegra
tegra-next
toradex_4.1-2.0.x-imx
toradex_4.1-2.0.x-imx-next
toradex_4.14-2.0.x-imx
toradex_4.14-2.0.x-imx-next
toradex_4.14-2.0.x-imx-rebased
toradex_4.14-2.3.x-imx
toradex_4.19.y
toradex_4.19.y-rt
toradex_4.20.y
toradex_4.9-1.0.x-imx
toradex_4.9-1.0.x-imx-next
toradex_4.9-1.0.x-imx-rebased
toradex_4.9-2.3.x-imx
toradex_4.9-2.3.x-imx-next
toradex_4.9-2.3.x-imx-rebased
toradex_5.0.y
toradex_5.15-2.0.x-imx
toradex_5.15-2.1.x-imx
toradex_5.15-2.2.x-imx
toradex_5.2.y
toradex_5.3.y
toradex_5.4-2.1.x-imx
toradex_5.4-2.3.x-imx
toradex_5.4.y
toradex_6.12-2.0.x-imx
toradex_6.6-2.0.x-imx
toradex_6.6-2.1.x-imx
toradex_6.6-2.2.x-imx
toradex_imx6
toradex_imx_3.10.17_1.0.0_ga
toradex_imx_3.10.17_1.0.0_ga-next
toradex_imx_3.14.28_1.0.0_ga
toradex_imx_3.14.52_1.1.0_ga
toradex_imx_3.14.52_1.1.0_ga-next
toradex_imx_4.1.15_1.0.0_ga
toradex_imx_4.1.15_1.0.0_ga-next
toradex_imx_4.14.78_1.0.0_ga-bring_up
toradex_imx_4.9.123_imx8mm_ga-bring_up
toradex_imx_4.9.51_imx8_beta1-bring_up
toradex_imx_4.9.51_imx8_beta1-bring_up_ov5640
toradex_imx_4.9.51_imx8_beta2-bring_up
toradex_ti-linux-5.10.y_bringup
toradex_ti-linux-6.1.y
toradex_ti-linux-6.6.y
toradex_tk1_l4t_r21.5
toradex_tk1_l4t_r21.6
toradex_tk1_l4t_r21.7
toradex_tk1_l4t_r21.7-next
toradex_vf_3.18
toradex_vf_3.18-next
toradex_vf_4.0
toradex_vf_4.0-next
toradex_vf_4.1
toradex_vf_4.1-next
toradex_vf_4.4
toradex_vf_4.4-next
Linux kernel for Apalis and Colibri modules
Toradex
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
verification
Age
Commit message (
Expand
)
Author
2024-12-27
verification/dot2k: Implement event type detection
Gabriele Monaco
2024-12-27
verification/dot2k: Auto patch current kernel source
Gabriele Monaco
2024-12-27
verification/dot2k: Simplify manual steps in monitor creation
Gabriele Monaco
2024-12-27
verification/dot2k: Add support for name and description options
Gabriele Monaco
2024-12-27
verification/dot2k: More robust template variables
Gabriele Monaco
2024-12-27
verification/dot2k: Unify main.c templates
Gabriele Monaco
2024-12-27
verification/dot2k: Fix template directory detection
Gabriele Monaco
2024-11-19
verification/dot2: Improve dot parser robustness
Gabriele Monaco
2024-10-04
tools/rv: Correct the grammatical errors in the comments
Ba Jing
2024-10-04
tools/rv: Correct the grammatical errors in the comments
Ba Jing
2024-07-17
tools/verification: Use pkg-config in lib_setup of Makefile.config
Guilherme Amadio
2024-03-20
tools/verification: Use tools/build makefiles on rv
Daniel Bristot de Oliveira
2024-02-12
tools/rv: Fix curr_reactor uninitialized variable
Daniel Bristot de Oliveira
2024-02-12
tools/rv: Fix Makefile compiler options for clang
Daniel Bristot de Oliveira
2023-10-30
verification/dot2k: Delete duplicate imports
Alessandro Carminati (Red Hat)
2023-04-25
rv: Fix addition on an uninitialized variable 'run'
Colin Ian King
2023-01-31
tools/rv: Remove unneeded semicolon
zhang songyi
2022-12-21
Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...
Linus Torvalds
2022-12-20
rv/monitors: Move monitor structure in rodata
Alessandro Carminati
2022-12-09
Documentation/rv: Add verification/rv man pages
Daniel Bristot de Oliveira
2022-12-09
tools/rv: Add in-kernel monitor interface
Daniel Bristot de Oliveira
2022-12-09
rv: Add rv tool
Daniel Bristot de Oliveira
2022-10-20
rv/dot2c: Make automaton definition static
Daniel Bristot de Oliveira
2022-09-26
rv/monitor: Add __init/__exit annotations to module init/exit funcs
Xiu Jianfeng
2022-09-26
rv/dot2K: add 'static' qualifier for local variable
Zeng Heng
2022-07-30
rv/monitor: Add the wwnr monitor
Daniel Bristot de Oliveira
2022-07-30
rv/monitor: Add the wip monitor
Daniel Bristot de Oliveira
2022-07-30
Documentation/rv: Add deterministic automata monitor synthesis documentation
Daniel Bristot de Oliveira
2022-07-30
tools/rv: Add dot2k
Daniel Bristot de Oliveira
2022-07-30
Documentation/rv: Add deterministic automaton documentation
Daniel Bristot de Oliveira
2022-07-30
tools/rv: Add dot2c
Daniel Bristot de Oliveira
