[ldv-project] Linux Driver Verification

Fri Jul 4 14:28:20 MSK 2014

On 07/04/2014 06:47 AM, Deha Nee Christo wrote:
> Hello Evgeny,
>> Thank you for your reply.
>> I have already installed the Linux Device Verification tool.
>Great!
> I already run it with my linux driver but error occur like ... 
> ldv-core ERROR.
>I cannot diagnose the issue just on the basis of this information. 
Unfortunately even an LDV Tools' log may be useless for that.
> I already run this driver in my android board but its kernel version 
> is of 3.4.1.
>> I don't know maybe incompatible with what ldv only support?
>LDV Tools are likely to support all Linux kernel versions starting from 
2.6.32.
> I can give you my driver. I try to upload it in your site but I was 
> not successful to do it.
>I guess that the best way is to send us your driver tarball.
> Thank you.
>> Livie C. Hayao Jr.
>Best regards,
Evgeny
>>> On 07/03/2014 11:13 AM, Evgeny Novikov wrote:
>> Hello Livie,
>> it is very nice that you want to verify your driver and LDV
> Tools can be used for that.
>> There are 2 options depending on whether you can or cannot
> share your driver source code:
>> 1. If you cannot share your driver source code then you need
> to download, install and use LDV Tools by yourself. Please,
> follow these instructions:
> http://forge.ispras.ru/projects/ldv/wiki/Downloading_and_Building_LDV
> and then read README and TUTORIAL files located in the root
> directory of the LDV Tools repository.
>> 2. If you can then you still can choose the first option but
> also you can provide your driver tarball to us so that we will
> be able to verify it by ourselves. Then we will provide
> verification results to you.
>> Actually now it is rather hard to follow the first option (it
> will take much time to install all prerequisites and to
> understand the LDV Tools workflow), but of course it will be
> your decision what to choose.
>> Best regards,
> Evgeny
>> On 07/03/2014 05:47 AM, Deha Nee Christo wrote:
>> Hello,
>> I want to verify my linux driver ( it is a sensor driver
> although intended for Android ).
>> But maybe I can still used LDV, for static verification only.
>> What do you think?
>> Thanks for your help.
>> Best Regards,
> Livie
>>
-- 
Evgeny Novikov
Linux Verification Center, ISPRAS
web: http://linuxtesting.org
e-mail: novikov at ispras.ru
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20140704/41dc69e4/attachment.html>