One other thing, I'm pretty sure the information I have is wrong, but adding:
device-tree=bcm2711-rpi-4-b.dtb to config.txt in /boot/firmware doesn't seem to impact which dtb's get loaded. If that isn't the correct way, what would be? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2147213 Title: [resolute] Unsupported platform 'Raspberry Pi 4 Model B Rev 1.2'. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/flash-kernel/+bug/2147213/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
