[ldv-project] Linux Driver Verification
novikov at ispras.ru
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.
> 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
> 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.
> 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:
> 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,
> On 07/03/2014 05:47 AM, Deha Nee Christo wrote:
> 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,
Linux Verification Center, ISPRAS
e-mail: novikov at ispras.ru
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ldv-project