OSD32MP1-RED with kernel 6.6 failes to boot

[DevESG]

I'm trying to update linux kernel on OSD32MP1-RED board to the latest kernel 6.6.78 that's provided with Developer Package using instructions in README.HOW_TO.txt.stm32mp1, but after building and installing kernel and modules on SD card booting from  SD card hangs and then board goes into continuous cycle of rebooting due to watchdog. Is there a way to use latest ST kernel with this board? Here is output from the booting:

NOTICE: CPU: STM32MP157F?? Rev.Z
NOTICE: Model: Octavo OSD32MP1 RED board
INFO: Reset reason (0x214):
INFO: IWDG2 Reset (rst_iwdg2)
INFO: PMIC version = 0x21
INFO: FCONF: Reading TB_FW firmware configuration file from: 0x2ffe3000
INFO: FCONF: Reading firmware configuration information for: stm32mp_io
INFO: Using SDMMC
INFO: Instance 1
INFO: Boot used partition fsbl1
NOTICE: BL2: v2.4-r1.0(debug):v2.4-stm32mp-r1
NOTICE: BL2: Built : 23:04:23, Apr 24 2022
INFO: BL2: Doing platform setup
INFO: RAM: DDR3-DDR3L 16bits 533000Khz
WARNING: Couldn't find property st,phy-cal in dtb
INFO: Memory size = 0x20000000 (512 MB)
INFO: BL2: Loading image id 31
INFO: Loading image id=31 at address 0x2ffff000
INFO: Image id=31 loaded: 0x2ffff000 - 0x2ffff226
INFO: FCONF: Reading FW_CONFIG firmware configuration file from: 0x2ffff000
INFO: FCONF: Reading firmware configuration information for: dyn_cfg
INFO: FCONF: Reading firmware configuration information for: stm32mp1_firewall
INFO: BL2: Loading image id 4
INFO: Loading image id=4 at address 0x2ffc5000
INFO: Image id=4 loaded: 0x2ffc5000 - 0x2ffd847c
WARNING: Not a known TEE, use default loading options.
INFO: BL2: Skip loading image id 21
INFO: BL2: Skip loading image id 22
INFO: BL2: Loading image id 23
INFO: Loading image id=23 at address 0xc0500000
INFO: Image id=23 loaded: 0xc0500000 - 0xc0514c5b
INFO: BL2: Loading image id 26
INFO: Loading image id=26 at address 0x2ffc0000
INFO: Image id=26 loaded: 0x2ffc0000 - 0x2ffc401c
INFO: BL2: Loading image id 5
INFO: Loading image id=5 at address 0xc0100000
INFO: Image id=5 loaded: 0xc0100000 - 0xc01cf910
NOTICE: BL2: Booting BL32
INFO: Entry point address = 0x2ffc5000
INFO: SPSR = 0x1d3
NOTICE: SP_MIN: v2.4-r1.0(debug):v2.4-stm32mp-r1
NOTICE: SP_MIN: Built : 23:04:26, Apr 24 2022
INFO: ARM GICv2 driver initialized
INFO: Set calibration timer to 60 sec
INFO: stm32mp1 IWDG1 is secure
INFO: SP_MIN: Initializing runtime services
INFO: SP_MIN: Preparing exit to normal world


U-Boot 2020.10-stm32mp-r1 (Apr 24 2022 - 23:05:27 +0000)

CPU: STM32MP157F?? Rev.Z
Model: Octavo OSD32MP1 RED board
Board: stm32mp1 in trusted mode (st,stm32mp157c-osd32mp1-red)
DRAM: 512 MiB
Clocks:
- MPU : 650 MHz
- MCU : 187.500 MHz
- AXI : 266.500 MHz
- PER : 24 MHz
- DDR : 533 MHz
WDT: Started with servicing (32s timeout)
NAND: 0 MiB
MMC: STM32 SD/MMC: 0, STM32 SD/MMC: 1
Loading Environment from MMC... OK
In: serial
Out: serial
Err: serial
invalid MAC address in OTP 00:00:00:00:00:00
Net:
Error: ethernet@5800a000 address not set.
No ethernet found.

Hit any key to stop autoboot: 0
Boot over mmc0!
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:4...
Found /mmc0_extlinux/extlinux.conf
Retrieving file: /mmc0_extlinux/extlinux.conf
363 bytes read in 24 ms (14.6 KiB/s)
Retrieving file: /splash.bmp
170122 bytes read in 31 ms (5.2 MiB/s)
1: osd32mp1-red-sdcard
Retrieving file: /uImage
8787720 bytes read in 396 ms (21.2 MiB/s)
append: root=/dev/mmcblk1p6 rootwait rw console=ttySTM0,115200 init=/sbin/init firmware_class/
Retrieving file: /stm32mp157c-osd32mp1-red.dtb
62249 bytes read in 27 ms (2.2 MiB/s)
## Booting kernel from Legacy Image at c2000000 ...
Image Name: Linux-6.6.78
Created: 2025-07-16 18:57:16 UTC
Image Type: ARM Linux Kernel Image (uncompressed)
Data Size: 8787656 Bytes = 8.4 MiB
Load Address: c2000040
Entry Point: c2000040
Verifying Checksum ... OK
## Flattened Device Tree blob at c4000000
Booting using the fdt blob at 0xc4000000
XIP Kernel Image
Loading Device Tree to cffed000, end cffff328 ... OK

Starting kernel ...

INFO: CPU 0 IT Watchdog 2
INFO: CPU : 0
INFO: sp_usr : 0x0
INFO: lr_usr : 0x0

[Olivier GALLIEN]

Hi @DevESG 

I notice you are using TF-A v2.4-stm32mp-r1 U-Boot 2020.10-stm32mp-r1 which are former version from OSTL 3.1 now deprecated. 

Kernel 6.6.78 can only be installed on top of consistent BSP from compatible OSTL 6.1. 

TF-A v2.10-stm32mp-r2

U-Boot v2023.10-stm32mp-r2

OP-TEE v4.0.0-stm32mp-r2 

Octavo support might probably provide them for OSD32MP1-RED or help you to migrate.  

Olivier 

[DevESG]

Thanks Olivier, as you suggested I'll try to contact octavo support about possibility to update packages you mentioned to support OSD32MP1-RED board.

Ivan