New comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/pull/19066#issuecomment-612143896 Comment: now that pi4 is a thing we see that merging everything into rpi-kernel etc. wasn't that good. I may come up with a solution split by rpi{1,2,3,4}-{foo,bar} in the near future to account for that (or at least start a discussion). putting this on hold until then