[Bug 1988169] Re: Fix Microchip Icicle Kit dtb name

[Alexandre Ghiti]

Attached the debdiff based on top of the one here #1987735.

It built successfully here https://launchpad.net/~ubuntu-risc-v-
team/+archive/ubuntu/develop/+sourcepub/13896557/+listing-archive-extra.

I have tested it on my board and it fails on our current microchip
kernel, but that is not related to this patch as flash-kernel now finds
the right dtb:

Processing triggers for flash-kernel (3.106ubuntu6~ppa0) ...
Using DTB: microchip/mpfs-icicle-kit.dtb
Installing /lib/firmware/5.19.0-1002-generic/device-tree/microchip/mpfs-icicle-kit.dtb into /boot/dtbs/5.19.0-1002-generic/microchip/b
Taking backup of mpfs-icicle-kit.dtb.
Installing new mpfs-icicle-kit.dtb.
System running in EFI mode, skipping.
Processing triggers for man-db (2.10.2-2) ...
Processing triggers for initramfs-tools (0.140ubuntu16) ...
update-initramfs: Generating /boot/initrd.img-5.19.0-1002-generic
[  602.785575] Kernel panic - not syncing: corrupted stack end detected inside scheduler

** Attachment added: "debdiff_icicle"
   https://bugs.launchpad.net/ubuntu/+source/flash-kernel/+bug/1988169/+attachment/5612629/+files/debdiff_icicle

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to flash-kernel in Ubuntu.
https://bugs.launchpad.net/bugs/1988169

Title:
  Fix Microchip Icicle Kit dtb name

Status in flash-kernel package in Ubuntu:
  New

Bug description:
  DTB filename in the database does not match the kernel, so fix the DTB
  filename.

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