博客 - Linux
Deprecating support for the Linux kernel
2020-04-01
Hey, this post was published on April 1st, so take it with a grain of salt! Read the followup for some clarifications. After…
Creating and using a custom Linux kernel on Guix System
2019-05-21
Take note: As of 2021, the code examples in this guide are becoming obsolete. For an up-to-date treatment of this subject, please consult the Cookbook recipe Customizing the Kernel…