<div>Hi Pundir,</div><div> </div><div>I am preparing a first tutorial right now. Besides, we will release Klever 3.0 soon. I will notify everybody involved through different channels when everything will be ready. Please, wait.</div><div> </div><div>-- </div><div>Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a href="http://linuxtesting.org">http://linuxtesting.org</a></div><div> </div><div> </div><div> </div><div>04.04.2020, 13:32, "Pundir,Nitin K" <nitin.pundir@ufl.edu>:</div><blockquote><div><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'arial' , 'helvetica' , sans-serif;font-size:12pt">Hi All,</div><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'arial' , 'helvetica' , sans-serif;font-size:12pt"> </div><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'arial' , 'helvetica' , sans-serif;font-size:12pt">Does anybody have notes on getting started with Klever Verification Framework?</div><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'arial' , 'helvetica' , sans-serif;font-size:12pt">I got it setup but it seems to just populate Linux3.14 kernel.</div><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'arial' , 'helvetica' , sans-serif;font-size:12pt"> </div><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'arial' , 'helvetica' , sans-serif;font-size:12pt">Thanks in advance.</div><div><div style="color:rgb( 0 , 0 , 0 );font-size:12pt"><div style="color:rgb( 0 , 0 , 0 );font-family:'calibri' , 'helvetica' , sans-serif;font-size:12pt"><p style="margin-bottom:0px;margin-top:0px"> </p></div></div></div></div>,<p>_______________________________________________<br />ldv-project mailing list<br /><a href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a><br /><a href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a></p></blockquote>