> Does anybody have a (minimal) rpi 4 defconfig for linux mainline? > Did anybody port linux mainline to rpi 4? I think the bcm2835_defconfig for arm32 should work as a starting point, or defconfig on arm64