Bad kernel config

  • Done
  • quality assurance status badge
Details
2 participants
  • Jorge Acereda
  • Maxim Cournoyer
Owner
unassigned
Submitted by
Jorge Acereda
Severity
normal
J
J
Jorge Acereda wrote on 24 Aug 19:44 +0200
(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
M
M
Maxim Cournoyer wrote on 14 Sep 16:12 +0200
(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