** Description changed: Add the 'Microchip PIC64GX Curiosity Kit' to db/all.db + + [ Impact ] + + * We want to publish a preinstalled server image for the Microchip + PIC64GX Curiosity Kit in the 24.04.1 release. + + * flash-kernel is needed for copying the device-tree to the place where + GRUB picks it up. + + + [ Test Plan ] + + * Remove file /etc/flash-kernel/machine + * Run `flash-kernel $(uname -r)` on the Microchip PIC64GX Curiosity Kit and on the Microchip Icicle kit. Check that the relevant device-trees are copied (microchip/pic64gx-curiosity-kit.dtb, microchip/mpfs-icicle-kit.dtb respectively). + + [ Where problems could occur ] + + * Updating device-trees on the new or existing boards might fail. + Therefore test both cases. + + [ Other Info ] + + * n/a
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2072500 Title: [SRU] Add Microchip PIC64GX Curiosity Kit support To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/flash-kernel/+bug/2072500/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
