______________________________________
/ Kmax performs automated reasoning on \
\ Kconfig and Kbuild constraints. /
--------------------------------------
\ ^__^
\ (OO)\_______
(__)\ )\/\
||----w |
|| ||
Repository