0%

Use coccinelle to check patch in Ubuntu 14.04

  1. install from its git repo: https://github.com/coccinelle/coccinelle.git

  2. install the packedge mention in install.txt

  3. ./autogen
    ./configure
    ./make
    ./make install

  4. cd in a kernel directory, run:

    make coccicheck MODE=report M=arch/arm64/mm

    It will check all the patch under, e.g. arch/arm64/mm