Tag: kernel

  • Build and run the mainline Linux kernel on your PC

    Build and run the mainline Linux kernel on your PC

    Last week, I gave a “How to test a specific version of Linux on PC hardware” talk at the Alposs conference in Echirolles near Grenoble, France. This was a very nice technical conference, with 330 participants (+110 compared to last year), organized in the city hall of Echirolles near Grenoble and by Belledonne Communications (the…

  • Booting the Raspberry Pi 5 with the Mainline Linux Kernel

    Booting the Raspberry Pi 5 with the Mainline Linux Kernel

    Hardware In this tutorial, we assume you have the Raspberry Pi Debug Probe to access the board’s serial port. You could use the GPIO UARTs too, but they are neither enabled by default at the bootloader level nor as a kernel console. Enabling them for serial console access would slightly complicate these instructions. These instructions…