Subject: Bad kernel config

From: Jorge Acereda <[email-masked]>
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