Ah that looks like a gap in our documentation. On the Pi it's as simple as:
$ sudo apt install linux-image-raspi-realtime -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2167025 Title: Installing ubuntu-realtime on Raspberry Pi 5 fails because of missing grub To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ubuntu-realtime/+bug/2167025/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
