Fix Microchip Icicle Kit dtb name
Bug #1988169 reported by
Alexandre Ghiti
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
flash-kernel (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
DTB filename in the database does not match the kernel, so fix the DTB filename.
tags: | added: fr-2641 |
Changed in flash-kernel (Ubuntu): | |
status: | New → Confirmed |
To post a comment you must log in.
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) ... mpfs-icicle- kit.dtb 5.19.0- 1002-generic/ device- tree/microchip/ mpfs-icicle- kit.dtb into /boot/dtbs/ 5.19.0- 1002-generic/ microchip/ b kit.dtb. kit.dtb. img-5.19. 0-1002- generic
Using DTB: microchip/
Installing /lib/firmware/
Taking backup of mpfs-icicle-
Installing new mpfs-icicle-
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.
[ 602.785575] Kernel panic - not syncing: corrupted stack end detected inside scheduler