This page gives you more information on how our kernel works.
For now, you can only boot with our official kernel, even if you build a new one, the kernel is not loaded from your volume.
You can retrive the .config content running the following command:
The project is also available on github
The cmdline passed to the kernel is available at /proc/cmdline
Kernel modules are downloaded at the server boot.
If you want to refresh the kernel modules on your server follow this process:
You can follow the kernel related information progress here
We invite you to contribute on our dedicated topic and give us information about your needs (the best would be .config lines)