Bad kernel config

  • Done
  • quality assurance status badge
Details
2 participants
  • Jorge Acereda
  • Maxim Cournoyer
Owner
unassigned
Submitted by
Jorge Acereda
Severity
normal

Debbugs page

Jorge Acereda wrote 7 months ago
(address . bug-guix@gnu.org)
8734mt24tk.fsf@gmail.com
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
Maxim Cournoyer wrote 6 months ago
(name . Jorge Acereda)(address . jacereda@gmail.com)(address . 72794-done@debbugs.gnu.org)
87ed5ms4s0.fsf@gmail.com
Hi,

Jorge Acereda <jacereda@gmail.com> writes:

Toggle quote (11 lines)
> 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
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 72794@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 72794
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help