Hi all, I installed guixsd on my MacBook today and I want to enable the spi keyboard, then I found this : https://github.com/roadrunner2/macbook12-spi-driver

so, could these process mentioned in the link be configured in the guixsd system configurations? Does the kernel support dkms modules for now?