Subject: Re: bug#72794: Bad kernel config
From: Maxim Cournoyer <[email-masked]>
To: Jorge Acereda <[email-masked]>
Cc: [email-masked]
Date: Sat, 14 Sep 2024 23:12:31 +0900
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Jorge Acereda <[email-masked]> writes:

> Hi,
>
> I noticed this looking at the linux.scm file:
>
>     ,@(if (version>=? version "5.13")
>           '(("BPF_UNPRIV_DEFAULT_OFF" . #t))
>           '())
>
>
> Shouldn't that be "CONFIG_BPF_UNPRIV_DEFAULT_OFF" instead?

Indeed! Thanks for spotting that. It's now fixed, with commit
74c96e87a5.

-- 
Thanks,
Maxim