How would I go about adding kernel modules permanently to my GuixSD system?
Currently I think I need to:
1. write a package definition that install the module to the store
2. install that package
3. tell GuixSd somehow to load the module on boot
How do I do 3. ?
Also if there's a good example in the source code, please point to it. (I looked at the nouveau video driver, but it is just using a plain gnu build system and that's it)