<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style>body { line-height: 1.5; }blockquote { margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em; }p { margin-top: 0px; margin-bottom: 0px; }body { font-size: 10.5pt; font-family: 微软雅黑; color: rgb(0, 0, 0); line-height: 1.5; }body { font-size: 10.5pt; font-family: 微软雅黑; color: rgb(0, 0, 0); line-height: 1.5; }</style>
</head>
<body>
<div><span></span>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
hi <span style="font-size: 10.5pt; line-height: 1.5;">Evgeny Novikov</span></blockquote>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<span style="font-size: 10.5pt; line-height: 1.5;"> I can not sign in skype now. could you add give me your weichat, or add me? my weichat number 13860462139.</span></blockquote>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
Then I can share my pc through teamviewer. also can get control the klever server. Thanks!!!</blockquote>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<blockquote type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<blockquote type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<blockquote type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div><br>
</div>
<div>Thanks and best regards</div>
<div>youyan</div>
<div><span style="color: rgb(43, 43, 43); font-family: 微软雅黑, 'microsoft yahei'; font-size: 16px; font-variant-ligatures: normal; text-align: justify;">Fujian LANDI Commercial Equipment Co., Ltd</span></div>
</blockquote>
</blockquote>
</blockquote>
</blockquote>
</div>
<blockquote style="margin-Top: 0px; margin-Bottom: 0px; margin-Left: 0.5em">
<div style="border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 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><b>发件人：</b> <a href="mailto:novikov@ispras.ru">Evgeny Novikov</a></div>
<div><b>发送时间：</b> 2019-04-05 14:16</div>
<div><b>收件人：</b> <a href="mailto:huangyy@landicorp.com">黄有焱</a>; <a href="mailto:khoroshilov@ispras.ru">
khoroshilov</a></div>
<div><b>抄送：</b> <a href="mailto:ldv-project@linuxtesting.org">ldv-project</a></div>
<div><b>主题：</b> Re: [ldv-project] [yandex.ru代发]Re: can not download ldv-docker-0.8.tar.gz</div>
</div>
</div>
<div>
<div class="FoxDiv20190405155619392409">
<div>Hi youyan,
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml">05.04.2019, 07:56, "黄有焱" <huangyy@landicorp.com>:</div>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div>
<div>hi <span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">Evgeny Novikov</span></div>
<div><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;"> 1: I get a new pc, the hardware </span><span style="background-color:transparent;">satisfied with the requirement ,</span><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">but
i found the same result. </span><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">klever is the lastest version. i clone it this morning.</span></div>
<div><img border="0" src="cid:_Foxmail.1@93707e81-d67b-3e1a-5cc5-73e5e2f5f35d"></div>
<div><img src="cid:_Foxmail.1@1a95964f-38bc-f778-fbe6-06f1057ccb9f"></div>
<div> </div>
</div>
</blockquote>
<div xmlns="http://www.w3.org/1999/xhtml"><br>
This is great that you switched to the latest version of Klever since it includes some bug fixes and improvements.</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div>
<div>my new pc evironment</div>
<div>2:system</div>
<div><img border="0" src="cid:_Foxmail.1@5ad39525-9e2f-1e37-b31a-34bea54dfacf"></div>
<div>3:memory and disk</div>
<div><img border="0" src="cid:_Foxmail.1@7fb87398-dfff-664d-38b8-3ee936dfbae1"></div>
<div>
<div> </div>
</div>
<div>4: cpu</div>
<div><img border="0" src="cid:_Foxmail.1@d02dfe52-4b50-a1ed-ab09-cb15fe748ec8"></div>
<div><img border="0" src="cid:_Foxmail.1@2c6878f4-1367-0256-ec7f-3cde16e46edf"></div>
<div> </div>
</div>
</blockquote>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml">At the moment your hardware is okay.</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div>
<div>5: Is there some thing changed the use method? I found some different on klever install directory. There is only one linux 3.14 project job on the new version, </div>
<div><img border="0" src="cid:_Foxmail.1@0aa56111-8751-5c6c-c81d-60e1e71122ea"></div>
<div> </div>
<div> </div>
</div>
</blockquote>
<div xmlns="http://www.w3.org/1999/xhtml"><br>
There was a bug (https://forge.ispras.ru/issues/9581), so that Klever populated development jobs in the production mode. Now everything is okay.</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div>
<div>Could you help me to solve it?? Thanks!!!</div>
</div>
</blockquote>
<div xmlns="http://www.w3.org/1999/xhtml"><br>
I need more data to help you, since provided one does not explain me anything.</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml">In ideal, it would be great, if you will provide me a temporary access to your server, namely, to
<a href="http://server_ip_or_name:8998">http://server_ip_or_name:8998</a>. But that can be impossible.</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml">So, let's you share more data. Please, provide me a screenshot of the job page from where you could see the exception</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml">Besides, try to solve the verification job with development settings (this is accessible at the job start decision page). Then at the job page you should click on decision status, e.g. "Failed", and there should be
a log. Please, provide it to me.</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<div xmlns="http://www.w3.org/1999/xhtml">Best regards,</div>
<div xmlns="http://www.w3.org/1999/xhtml">Evgeny</div>
<div xmlns="http://www.w3.org/1999/xhtml"> </div>
<blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div>
<div> </div>
<div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<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>
</blockquote>
</blockquote>
</div>
<div> </div>
<blockquote style="margin-Top:0px;margin-Bottom:0px;margin-Left:0.5em;">
<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>发件人：</strong> <a rel="noopener noreferrer" href="mailto:novikov@ispras.ru">Evgeny Novikov</a></div>
<div><strong>发送时间：</strong> <span>2019-04-02</span> 15:24</div>
<div><strong>收件人：</strong> <a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">黄有焱</a>;
<a rel="noopener noreferrer" href="mailto:khoroshilov@ispras.ru">khoroshilov</a></div>
<div><strong>抄送：</strong> <a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project</a></div>
<div><strong>主题：</strong> Re: [ldv-project] [yandex.ru代发]Re: can not download ldv-docker-0.8.tar.gz</div>
</div>
</div>
<div>
<div>
<div>Hi youyan,</div>
<div> </div>
<div>it seems, you did not pay an attention to my note:</div>
<div> </div>
<blockquote style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>... Most important is your hardware. I hope that it meets <a rel="noopener noreferrer" href="https://klever.readthedocs.io/en/latest/deploy.html#hardware-requirements">
https://klever.readthedocs.io/en/latest/deploy.html#hardware-requirements</a><a rel="noopener noreferrer" href="https://klever.readthedocs.io/en/latest/deploy.html#hardware-requirements.">.</a></div>
</blockquote>
<div> </div>
<div>Klever needs computational resources not only for solving verification jobs (with help of Klever Core which you tried to configure), but for solving verification tasks by verification back-ends like CPAchecker. The latter needs much more CPU time and RAM.
RAM is limited strictly unlike CPU time by your hardware. Of course you can edit file "tasks.json" presented at the job page (you should go to Job -> Edit for that), but with small values there you can obtain bad verification results.</div>
<div> </div>
<div>So, for experiments you can specify less RAM in "tasks.json", but for production I recommend to use more powerful machine.</div>
<div> </div>
<div>-- </div>
<div 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> </div>
<div> </div>
<div> </div>
<div>02.04.2019, 09:30, "黄有焱" <<a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">huangyy@landicorp.com</a>>:</div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<blockquote style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
hi khoroshilov</blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
fellow is my test status now:</blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<strong>1: use manager username enter test view;</strong></blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<strong>2: select linux 3.14 and enter sub view</strong></blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
</blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<img style="font-size:10.5pt;line-height:1.5;" src="cid:_Foxmail.1@42328d2f-967d-c539-aa90-d58cfa020a92"></blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
</blockquote>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<span style="font-size:10.5pt;line-height:1.5;"><strong>3: start with default value</strong></span></blockquote>
</blockquote>
</blockquote>
<img border="0" src="cid:_Foxmail.1@87f42308-723b-edc2-8756-e9f9088f276b"></div>
<div>the test result is fellow</div>
<div><img border="0" src="cid:_Foxmail.1@5f7eccef-201b-1910-d196-65c73db13cdb"></div>
<div><strong>4: select start </strong></div>
<div><img border="0" src="cid:_Foxmail.1@55d0b67c-921a-91d5-ee66-abdfe40ea58b"></div>
<div>Manual configuration</div>
<div>
<div><img src="cid:_Foxmail.1@9599cb45-d312-8b8f-55a3-0a731ad1873c"></div>
</div>
<div>the test result is fellow:</div>
<div><strong> 5: My pc enviroment</strong></div>
<div>
<div><img src="cid:_Foxmail.1@bf73804c-33f7-81c5-52a5-a8fee586c843"></div>
</div>
<div>
<div><img src="cid:_Foxmail.1@d9466518-4ea4-ae96-9cc7-3ca6a2577a0b"></div>
</div>
<div>
<div><img src="cid:_Foxmail.1@225919ed-7f8b-0337-803d-533b2c69404c"></div>
</div>
<div> I have not idea about how to solve the issue.Can you give me some info to me for fixing it? thanks!!!</div>
<div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<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>
</blockquote>
</div>
<blockquote style="margin-Top:0px;margin-Bottom:0px;margin-Left:0.5em;">
<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>发件人：</strong> <a rel="noopener noreferrer" href="mailto:novikov@ispras.ru">Evgeny Novikov</a></div>
<div><strong>发送时间：</strong> <span><span>2019-03-29</span></span> 13:03</div>
<div><strong>收件人：</strong> <a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">黄有焱</a>;
<a rel="noopener noreferrer" href="mailto:khoroshilov@ispras.ru">khoroshilov</a></div>
<div><strong>抄送：</strong> <a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project</a></div>
<div><strong>主题：</strong> Re: [ldv-project] [yandex.ru代发]Re: can not download ldv-docker-0.8.tar.gz</div>
</div>
</div>
<div>
<div>
<div>
<div>Hi youyan,</div>
</div>
<div>29.03.2019, 04:37, "黄有焱" <<a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">huangyy@landicorp.com</a>>:</div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<div> hi <span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">Evgeny Novikov</span></div>
<div><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;"> Thanking for your reply and help. Fellow is my enviroment and </span><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">some issues info.</span></div>
<div><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;"> 1: </span><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">what version of Klever did you install?</span></div>
<div><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;"> I fetch klever by </span><span style="background-color:rgba(0,0,0,0);color:#000000;font-size:10.5pt;line-height:1.5;">git clone --recursive</span><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">
</span><a style="font-size:10.5pt;line-height:1.5;background-color:transparent;" rel="noopener noreferrer" href="https://forge.ispras.ru/git/klever.git,so">https://forge.ispras.ru/git/klever.git,</a><a rel="noopener noreferrer" href="https://forge.ispras.ru/git/klever.git, so it should on master branch."> so
it should on master branch.</a></div>
</div>
</blockquote>
<div> </div>
<div>I see that in general everything is okay.</div>
<div> </div>
<div>BTW, I detected a small but crucial issue in master that you will encounter if you will follow the standard workflow. So, I recommend you to update Klever according to documentation. It should be pretty simple and fast.</div>
<div> </div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<div> 2:<span style="background-color:transparent;font-family:微软雅黑,tahoma;font-size:10.5pt;line-height:normal;">Collect the appropriate build base, met some error,attachment is the error log</span></div>
<div>
<div><img src="cid:_Foxmail.1@6b6a1c1f-d005-06aa-6535-f07ef4e7720e"></div>
</div>
<div> </div>
</div>
</blockquote>
<div><br>
The first issue is known, it is not critical at all. Perhaps, you just won't be able to verify some particular Linux kernel modules, but most likely you are not interested in verification of all modules.</div>
<div> </div>
<div>We will investigate reasons of the second and the third issues (<a rel="noopener noreferrer" href="https://github.com/17451k/clade/issues/89">https://github.com/17451k/clade/issues/89</a>). We did not see them before. I suggest that running
<em>clade-all</em> with <em>sudo</em> will help to overcome them, but it is just a temporary workaround. I am not sure, but the issue seems to be rather critical, so, something can fail later.</div>
<div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<div><span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">3: My pc enviroment:</span></div>
<div>
<div><img src="cid:_Foxmail.1@8a017769-7cf0-4811-ec68-66a4b8fd79fa"></div>
</div>
<div>If I should switch to debian 9?</div>
</div>
</blockquote>
<div><br>
I think that there you will have the same issue. Most important is your hardware. I hope that it meets
<a rel="noopener noreferrer" href="https://klever.readthedocs.io/en/latest/deploy.html#hardware-requirements">
https://klever.readthedocs.io/en/latest/deploy.html#hardware-requirements</a>.</div>
<div> </div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<div>4: I found that <span style="background-color:transparent;font-size:10.5pt;line-height:1.5;">Klever 2.0 is only support x86 and x86_64. </span></div>
<div>
<div><img src="cid:_Foxmail.1@c7fb2f22-ede3-b266-9148-b13adc7f99ec"></div>
</div>
<div>Our projects are arm platform. Is there klever version can support arm platform on your hand? If have,can your release to me?</div>
<div> </div>
</div>
</blockquote>
<div><br>
No, we did not have it and we need to update and to test several things since we made these experiments several years ago and everything moved ahead too much.</div>
<div> </div>
<div>In Klever there are several <a rel="noopener noreferrer" href="https://klever.readthedocs.io/en/latest/deploy-common.html#klever-addons">
add-ons</a> that care about a target software architecture more or less. Just CIF should be re-built appropriately as an ARM cross-compiler. Other add-ons need just specific configurations. Nevertheless, in general there can be some unexpected issues.</div>
<div> </div>
<div>Thus, I recommend you to try to build and to verify your modules built for x86_64 if this is possible of course.</div>
<div> </div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<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>
</div>
<blockquote style="margin-Top:0px;margin-Bottom:0px;margin-Left:0.5em;">
<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>发件人：</strong> <a rel="noopener noreferrer" href="mailto:novikov@ispras.ru">Evgeny Novikov</a></div>
<div><strong>发送时间：</strong> <span><span><span>2019-03-28</span></span></span> 13:52</div>
<div><strong>收件人：</strong> <a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">黄有焱</a>;
<a rel="noopener noreferrer" href="mailto:khoroshilov@ispras.ru">khoroshilov</a></div>
<div><strong>抄送：</strong> <a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project</a></div>
<div><strong>主题：</strong> [yandex.ru代发]Re: [ldv-project] can not download ldv-docker-0.8.tar.gz</div>
</div>
</div>
<div>
<div>
<div>Dear youyan,</div>
<div> </div>
<div>we welcome your goal and we will be glad to help you.</div>
<div> </div>
<div>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> </div>
<div>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> </div>
<div>After successful signing in, please, check that in <em>Menu -> Schedulers</em> the Klever scheduler is healthy.</div>
<div> </div>
<div>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> </div>
<div>Below, please, find my previous answer regarding preparing sources for verification:</div>
<blockquote style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<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> </div>
<blockquote style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<div>
<div>5. Execute this magic command:</div>
<div>echo "[\"$(readlink -f .)\"]" > "clade/Storage/working source trees.json"</div>
<div> </div>
</div>
</blockquote>
<div> </div>
<div>You don't need to execute the last step for the latest Klever from the master branch.</div>
<div> </div>
<blockquote style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<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> </div>
<div>At last, you can read and contribute <a rel="noopener noreferrer" 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> </div>
<div>-- </div>
<div 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> </div>
<div> </div>
<div> </div>
<div>28.03.2019, 07:36, "黄有焱" <<a rel="noopener noreferrer" href="mailto:huangyy@landicorp.com">huangyy@landicorp.com</a>>:</div>
<blockquote type="cite" style="margin-top:0px;margin-bottom:0px;margin-left:0.5em;">
<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@e980d7c6-30d9-05ab-f768-fa622204a210"></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><span><span><span>2019-03-27</span></span></span></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;margin-bottom:0px;margin-left:0.5em;">
<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@fa01f437-26f4-07b8-39f3-574c45d22610"></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;" color="#b5c4df" align="left" size="1">
<div>
<div style="MARGIN:10px;FONT-FAMILY:verdana;FONT-SIZE:10pt;">
<div><span>黄有焱</span></div>
</div>
</div>
</blockquote>
</div>
</div>
</blockquote>
</div>
,
<p style="margin-top:0px;margin-bottom:0px;">_______________________________________________<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>
</div>
</div>
</blockquote>
</div>
,
<p style="margin-top:0px;margin-bottom:0px;">_______________________________________________<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>
</div>
</div>
</div>
</blockquote>
</blockquote>
</div>
</div>
</blockquote>
</div>
,
<p style="margin-top: 0px; margin-bottom: 0px;">_______________________________________________<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>
</div>
</div>
</div>
</blockquote>
</body>
</html>