[replying to you also]
On Mon, Sep 03, 2018 at 12:48:53PM +0200, Tomas Bortoli wrote:
> It allows to quickly find weak spots in Linux configs. Running it against:
>
https://eur04.safelinks.protection.outlook.com/?url="">
This is not the config of the Debian kernel. And if you have had a look
into it, you would have seen that it looks different from a normal linux
config file.
> That, AFAIK is the official config, gave:
>
https://eur04.safelinks.protection.outlook.com/?url="">
> With many failed tests.
Please interpret the errors yourself. A tool is only as good as the
person using it.
If you have specific questions, you can reach the kernel maintainers at
debian-kernel@lists.debian.org or by submitting a bug report against
src:linux.
> Is it possible to get some feedback from the people involved, regarding
> this issue?
There is no issue. You compared something you can't compare. You did
not see that it tells you that Ubuntu decided on this values, not
Debian.
Bastian
--
... The prejudices people feel about each other disappear when they get
to know each other.
-- Kirk, "Elaan of Troyius", stardate 4372.5