Hi again,

Thanks for the tips, Chris, and sorry for the long silence.

> https://lists.gnu.org/archive/html/guix-devel/2016-07/msg01457.html
> https://lists.gnu.org/archive/html/guix-devel/2018-02/msg00446.html
> https://lists.gnu.org/archive/html/guix-devel/2017-12/msg00221.html

Hmmm...  As far as I get it, none of those links tackle the issue of building an
_external_ kernel module.  The modules mentioned in the links are all part of
the linux-libre kernel.

Currently it seems that we have no way to build an external module.  It's quite problematic.

I've sent a patch: 34758@debbugs.gnu.org.

It needs the following:

- Fix vhba-module 'build phase.
- Optional: make a udev-related service to simplify the setup.  The service
  won't work if the module is not included in the kernel.

I'll continue the discussion there.

-- 
Pierre Neidhardt
https://ambrevar.xyz/