Newbie: How to find all kernel modules that can be loaded?

[Rodrigo Morales]

As part of my learning journey with Guix, I'm experimenting with kernel
modules. I want to enable and disable and see how they affect my system.
I'm aware that in Guix kernel modules can be enabled and disabled
through kernel-module-loader-service-type.

I want to know all the modules that are available on my system so that I
can add them to kernel-module-loader-service-type. I'm a newbie when it
comes to kernel modules, so I'm not even aware if all of them have a unique
extension. If that's the case, a simple `find /gnu/store -type f -name
'*.<<extension>>' should find them.

I have two questions:

* Are kernel modules defined in unique files? If that's the case, do all of
them have a unique extension?
* Besides using `find` (assuming each kernel module exists in separated
files), do you know another way to find all kernel modules that exist
locally and that could be enabled?