<div xmlns="http://www.w3.org/1999/xhtml">Dear youyan,</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">we welcome your goal and we will be glad to help you.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">First of all, I would like to know what version of Klever did you install? The latest version from the <em>master</em> branch should work pretty well, but there can be some new tricky issues regarding Klever 2.0 that is marked by tag <em>v2.0</em> in the Git repository.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Unfortunately, either in Klever 2.0 or in the latest version of Klever we have not any user documentation except for deployment instructions. If your deployment was successful, you should be able to open <em>localhost:8998</em> in your browser. There you can sign in with user <em>manager</em> (the password is the same as username) that has very many permissions except for user management. For the latter there is user <em>admin</em> (the password is the same as username).</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">After successful signing in, please, check that in <em>Menu -> Schedulers</em> the Klever scheduler is healthy.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Then you can try to start solution of verification job <em>Linux 3.14</em>. And you should see an error like<em> "FileExistsError: Build base "/home/admin/klever-bin/klever/build bases/linux-3.14.79" is not a directory</em>".</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Below, please, find my previous answer regarding preparing sources for verification:</div><blockquote xmlns="http://www.w3.org/1999/xhtml"><div> </div><div><div>Now we do not provide source code of target programs to Klever directly, but prepare so called <em>build bases</em> in advance. To do that you need to do the following actions on a machine where you deployed Klever 2.0:</div><div> </div><div>1. Get sources of required versions of the Linux kernel, e.g.:</div><div>$ wget <a target="_blank" rel="noopener noreferrer" href="https://cdn.kernel.org/pub/linux/kernel/v3.x/linux-3.14.79.tar.xz">https://cdn.kernel.org/pub/linux/kernel/v3.x/linux-3.14.79.tar.xz</a></div><div>$ tar -xf linux-3.14.79.tar.xz</div><div>$ cd linux-3.14.79</div><div> </div><div>2. Configure the Linux kernel appropriately, e.g.:</div><div>$ make allmodconfig</div><div> </div><div>3. Build the Linux kernel intercepting build commands, e.g.:</div><div>$ clade-intercept make -j16</div><div>(this can take several dozens of minutes)</div><div> </div><div>4. Collect the appropriate build base:</div><div>PATH=$PATH:$KLEVER_DEPLOY_DIR/klever-addons/CIF/ clade-all -p linux_kernel cmds.txt</div><div>(this can take several hours, and unfortunately there can be some crucial errors somewhere in the middle since we did not test it much with new versions of the Linux kernel, but I hope that we can workaround all issues)</div><div> </div></div></blockquote><div xmlns="http://www.w3.org/1999/xhtml"> </div><blockquote xmlns="http://www.w3.org/1999/xhtml"><div><div>5. Execute this magic command:</div><div>echo "[\"$(readlink -f .)\"]" > "clade/Storage/working source trees.json"</div><div> </div></div></blockquote><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">You don't need to execute the last step for the latest Klever from the master branch.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><blockquote xmlns="http://www.w3.org/1999/xhtml"><div><div> </div><div>Your build base is ready. It is placed into directory <em>clade</em>. You can rename this directory to something that you like more, e.g. to <em>linux-3.14.79</em>. Then you need to either specify an absolute path to this directory in <em>job.json</em> (option "build base") or install it using an appropriate deployment configuration and deployment scripts.</div><div> </div><div>For new versions of the Linux kernel you will need to patch source files in subdirectory "Storage" within the build base.</div><div> </div><div>After all you should be able to solve job "Linux 3.14".</div><div> </div><div>If you will meet some issues, please, report them to us. We will try to solve or workaround them together.</div></div></blockquote><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">At last, you can read and contribute <a href="https://docs.google.com/document/d/11e7cDzRqx0nO1UBcM75l6MS28zRBJUicXdNiReEpDKI/edit">Further development of Klever in favor of verification of the Linux kernel</a>, that describes many different issues with Klever.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">-- </div><div xmlns="http://www.w3.org/1999/xhtml" href="http://mailto:novikov@ispras.ru">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a rel="noopener noreferrer" href="http://linuxtesting.org">http://linuxtesting.org</a></div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">28.03.2019, 07:36, "黄有焱" <huangyy@landicorp.com>:</div><blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite"><div><div>hi <span style="background-color:transparent;">khoroshilov</span></div><div>     it very kind of you for replying my email. I have already installed klever on my ubunut 18.04 PC. </div><div>  But I don't know how to test my kernel module driver.Could you give me some steps or tip? make me</div><div>can <span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">startup klever, for improving our source code quality. thanks!!!</span></div><div>1:</div><div>2:</div><div>3</div><div><div><img src="cid:_Foxmail.1@68b19f13-e031-6ce4-8994-1c70c4a2ebf0" /></div></div><div> </div><div> </div><div>Thanks and best regards</div><div>youyan</div><div><span style="color:#2b2b2b;font-family:微软雅黑,microsoft yahei;font-size:16px;font-variant-ligatures:normal;text-align:justify;">Fujian LANDI Commercial Equipment Co., Ltd</span></div><blockquote style="margin-Top:0px;margin-Bottom:0px;margin-Left:0.5em;"><div> </div><div style="border:none;border-top:solid #B5C4DF 1pt;padding:3pt 0cm 0cm 0cm;"><div style="PADDING-RIGHT:8px;PADDING-LEFT:8px;FONT-SIZE:12px;FONT-FAMILY:tahoma;COLOR:#000000;BACKGROUND:#efefef;PADDING-BOTTOM:8px;PADDING-TOP:8px;"><div><strong>From:</strong> <a rel="noopener noreferrer" href="mailto:khoroshilov@ispras.ru">Alexey Khoroshilov</a></div><div><strong>Date:</strong> <span>2019-03-27</span> 21:20</div><div><strong>To:</strong> <a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">黄有焱</a></div><div><strong>CC:</strong> <a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a></div><div><strong>Subject:</strong> Re: can not download ldv-docker-0.8.tar.gz</div></div></div><div><div><div>Dear huangyy,<br /><br />Thank you for the report.<br />We have updated the link to the LDV image:<br /><a rel="noopener noreferrer" href="http://sed.ispras.ru/fmprac/data/ldv-docker-0.8.tar.gz">http://sed.ispras.ru/fmprac/data/ldv-docker-0.8.tar.gz</a><br /><br />But as you may know, we switched from LDV Tools to the next generation toolset that is called KLEVER:<br /><a rel="noopener noreferrer" href="https://forge.ispras.ru/projects/klever">https://forge.ispras.ru/projects/klever</a><br /><br />A draft of documentation for KLEVER is available here:<br /><a rel="noopener noreferrer" href="https://klever.readthedocs.io/en/latest/">https://klever.readthedocs.io/en/latest/</a><br /><br />Best regards,<br />Alexey Khoroshilov<br />Linux Verification Center, ISPRAS<br /><br /><br />On 27.03.2019 4:31, 黄有焱 wrote:</div><blockquote type="cite" cite="mid:214A0F22864D2E4C89E5BF316D6083736AB6560F@LDEXMB02.landi.landicorp.com" style="margin-top:0px;"><div>hi</div><div>I want to download LDV Tools 0.8 docker,but failed. access the web url,the result is fellow</div><div><div><img src="cid:_Foxmail.1@42ba1aa9-8758-176a-767b-35234c15cdfa" /></div></div><div>could you help me solve the it?or tell me,how can I download the archiver?Thanks!!! looking forward to your reply.</div><div> </div><div> </div><hr style="width:210px;height:1px;" size="1" color="#b5c4df" align="left" /><div><div style="MARGIN:10px;FONT-FAMILY:verdana;FONT-SIZE:10pt;"><div><span>黄有焱</span></div></div></div></blockquote></div></div></blockquote></div>,<p>_______________________________________________<br />ldv-project mailing list<br /><a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a><br /><a rel="noopener noreferrer" href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a></p></blockquote>