[Bug 2072500] Re: [SRU] Add Microchip PIC64GX Curiosity Kit support

[Heinrich Schuchardt]

I tested flash-kernel 3.107ubuntu9~24.04.1 both on an Icicle Kit and a
PIC64GX 1000 Curiosity kit.

Installing the device specific device-tree worked fine. The correct
device-trees were installed.

** Tags removed: verification-needed verification-needed-noble
** Tags added: verification-done verification-done-noble

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/2072500

Title:
  [SRU] Add Microchip PIC64GX Curiosity Kit support

Status in flash-kernel package in Ubuntu:
  Fix Released
Status in flash-kernel source package in Noble:
  Fix Committed
Status in flash-kernel source package in Oracular:
  Fix Released

Bug description:
  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

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/flash-kernel/+bug/2072500/+subscriptions