Subject: bug#72794: closed (Re: bug#72794: Bad kernel config)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 14 Sep 2024 14:14:02 +0000

Your bug report

#72794: Bad kernel config

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
72794: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72794
GNU Bug Tracking System
Contact [email-masked] with problems

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

Subject: Bad kernel config
From: Jorge Acereda <[email-masked]>
To: [email-masked]
Date: Sat, 24 Aug 2024 19:44:55 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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?

Regards,
  Jorge Acereda