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: Jorge Acereda <jacereda <at> gmail.com>
Subject: bug#72794: closed (Re: bug#72794: Bad kernel config)
Date: Sat, 14 Sep 2024 14:14:02 +0000

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

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 72794 <at> debbugs.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: 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

[Message part 3 (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

Previous Next

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