[ldv-project] Klever tutorial

[Lukas.Bulwahn at bmw.de]

Hi Evgeny,

> 
> We are glad to announce that we are very close to release Klever 3.0 and there
> is the first version of the Klever tutorial:
> https://docs.google.com/document/d/1GBYmVZgjk0e8R-
> KV4WkZeQ1YDqYhavjvoDTlDe_hbCQ/edit#
> Everybody is welcome for reviewing, for discussing and for using Klever.
>

I certainly appreciate the effort on your side, and I hope we are able to give you something in return for your efforts (e.g., attention among the kernel community, the support needed around LDV and more).

I might try out Klever 3.0 on a latest supported Linux kernel on the weekend and report my experience. If it successful, I suggest that we use this written tutorial to reach out to others interested in static analysis tooling around the Linux kernel. I can organize that and do that once I know the basic documentation is there to get everyone fairly well started.

Lukas