Add a hint about gcc plugins support
authorAlexander Popov <alex.popov@linux.com>
Wed, 5 Dec 2018 21:29:34 +0000 (00:29 +0300)
committerAlexander Popov <alex.popov@linux.com>
Wed, 5 Dec 2018 21:29:34 +0000 (00:29 +0300)
README.md

index 05973a22b1e27c85b54e233bb87fefe5afbf5beb..95cd7013b712d7924db0a2aaf3dae16402e1edbe 100644 (file)
--- a/README.md
+++ b/README.md
@@ -134,6 +134,12 @@ optional arguments:
 [-] config check is NOT PASSED: 51 errors
 ```
 
+
+N.B. If `CONFIG_GCC_PLUGIN*` options are automatically disabled during your kernel compilation,
+that means that your gcc doesn't support plugins. For example, if you have `gcc-7` on Ubuntu,
+try to install `gcc-7-plugin-dev` package, it should help.
+
+
 __Go and fix them all!__
 
 [1]: http://kernsec.org/wiki/index.php/Kernel_Self_Protection_Project/Recommended_Settings