GNU bug report logs - #72794
Bad kernel config

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#72794: closed (Bad kernel config)
Date: Sat, 14 Sep 2024 14:14:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sat, 14 Sep 2024 23:12:31 +0900
with message-id <87ed5ms4s0.fsf <at> gmail.com>
and subject line Re: bug#72794: Bad kernel config
has caused the debbugs.gnu.org bug report #72794,
regarding Bad kernel config
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
72794: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72794
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Jorge Acereda <jacereda <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: Bad kernel config
Date: Sat, 24 Aug 2024 19:44:55 +0200

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

[Message part 3 (message/rfc822, inline)]

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Jorge Acereda <jacereda <at> gmail.com>
Cc: 72794-done <at> debbugs.gnu.org
Subject: Re: bug#72794: Bad kernel config
Date: Sat, 14 Sep 2024 23:12:31 +0900

Hi,

Jorge Acereda <jacereda <at> gmail.com> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.