RPi-Distro / pi-gen

Tool used to create the official Raspberry Pi OS images
BSD 3-Clause "New" or "Revised" License
2.64k stars 1.65k forks source link

FR: Option to enable Real Time kernel #767

Closed eloebo closed 7 months ago

eloebo commented 7 months ago

Thanks for the great work!

It would be nice with option for building images with RT kernel. Probably also the chip (pi version) needs to be specified as input.

XECDesign commented 7 months ago

We don't officially provide an RT kernel, so it's a bit outside the scope of what pi-gen is for.