[ldv-project] Linux Driver Verification

[Evgeny Novikov]

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>