Explore >> Select a destination


You are here

sgfault.com
| | nathanchance.dev
1.7 parsecs away

Travel
| | As a Linux kernel developer, I will often need to build and boot new kernels to hunt down issues or test new functionality for regressions. While it is possible to manually install these kernels on machines, it is easiest to use the distribution's package manager, as the kernel does not need to be built on the machine it is being installed on. With .deb and .rpm-based systems, it is easy to build a kernel package within the kernel source itself, using the bindeb-pkg and binrpm-pkg targets respectively. However, for Arch Linux, my distribution of choice, that is not so simple. Furthermore, when doing certain types of development, such as bisecting an issue, it is more convenient to do all the building in an actual source tree, rather than one that is managed ...
| | chipnetics.com
1.0 parsecs away

Travel
| | My notes for building the latest Linux kernel, and running the latest firmware, for a more bleeding edge experience.
| | offlinemark.com
1.3 parsecs away

Travel
| | Here is everything you need to know to set up a minimal Linux kernel dev environment on Ubuntu 20.04. It works great on small VPS instances, is optimized for a fast development cycle, and allows you to run custom binaries to exercise the specific kernel functionality being developed. Step 1:
| | david.wragg.org
12.4 parsecs away

Travel
| [AI summary] A detailed guide on setting up a 64-bit Debian system on a Raspberry Pi 4 by modifying the SD card and using debootstrap.