Looking for Guix alternative to /lib/modules/$(uname -r)/build

[Hebi Li]

Hi Guix,

I'm trying to compile and package a kernel module. Kernel modules
require the kernel "build folder" with Makefile, Kconfig, etc, and
compile with:

        make -C /lib/modules/$(uname -r)/build modules

I'm looking for Guix alternative to the folder /lib/modules/$(uname -r)/build.

The linux-libre and linux-libre-headers do not seem to serve that
purpose. In particular, linux-libre-headers contains only header
files, and no Makefiles. The linux-libre:

        $ ls -l /gnu/store/...-linux-libre-5.2.13/modules/5.2.13-gnu

        lrwxrwxrwx  3 root root      53 Dec 31  1969 build ->
/tmp/guix-build-linux-libre-5.2.13.drv-0/linux-5.2.13
        dr-xr-xr-x 13 root root    4096 Dec 31  1969 kernel/
        lrwxrwxrwx  3 root root      53 Dec 31  1969 source ->
/tmp/guix-build-linux-libre-5.2.13.drv-0/linux-5.2.13

The build/ and source/ folders are symlinks to the
/tmp/guix-build-..., and thus only available when using guix build
--check --keep-failed linux-libre. When I do that, the
/tmp/guix-build-... folder
does function as I expected. But I'm not sure if it is possible to access
them in a Guix package build.  The kernel/ folder contains only .ko files,
thus won't work for my purpose.

So my question is, is there a Guix alternative to the folder
/lib/modules/$(uname -r)/build ?

Thanks,
Hebi