Question about a freeze under Xenomai 3.2.1

[Julien Aube <julien.aube@smile.fr>]

Hello,


I'm currently porting an old code from Xenomai 2 to Xenomai 3/Dovetail.

I'm using kernel 5.10.177-dovetail1 as this is the latest version I 
could work with xenomai 3.2.1.
The driver I'm porting makes heavy use of RTDM.

The platform is a Zynq 7030 (dual cortex-9).

I uses buildroot 2022.11 to build.

I hit a strange issue and ask for an advice before having to setup JTAG 
/ opencd , as you may have seen
the same issue before.

On the aforementioned platform , everything goes well as long as I do 
not enable SMP.
If I do, what happens is that Ethernet's phy detection hangup forever :

> Registering platform device 'Fixed MDIO bus.0'. Parent at platform
> device: 'Fixed MDIO bus.0': device_add
> bus: 'platform': add device Fixed MDIO bus.0
> device: 'fixed-0': device_add
> bus: 'mdio_bus': add driver Micrel KS8737
> [...]
> bus: 'mdio_bus': add driver Microchip KSZ9477
> bus: 'platform': add driver macb
> bus: 'platform': driver_probe_device: matched device e000c000.ethernet 
> with driver macb
> bus: 'platform': really_probe: probing driver macb with device 
> e000c000.ethernet
> macb e000c000.ethernet: no pinctrl handle
> device: 'e000c000.ethernet-ffffffff': device_add

If I disable SMP in the linux config kernel , here is what I have :

> Registering platform device 'Fixed MDIO bus.0'. Parent at platform
> device: 'Fixed MDIO bus.0': device_add
> bus: 'platform': add device Fixed MDIO bus.0
> device: 'fixed-0': device_add
> bus: 'mdio_bus': add driver Micrel KS8737
> [...]
> bus: 'mdio_bus': add driver Microchip KSZ9477
> bus: 'platform': add driver macb
> bus: 'platform': driver_probe_device: matched device e000c000.ethernet 
> with driver macb
> bus: 'platform': really_probe: probing driver macb with device 
> e000c000.ethernet
> macb e000c000.ethernet: no pinctrl handle
> device: 'e000c000.ethernet-ffffffff': device_add
> device: 'e000c000.ethernet-ffffffff:01': device_add
> bus: 'mdio_bus': add device e000c000.ethernet-ffffffff:01
> bus: 'mdio_bus': driver_probe_device: matched device 
> e000c000.ethernet-ffffffff:01 with driver Micrel KSZ9031 Gigabit PHY
> bus: 'mdio_bus': really_probe: probing driver Micrel KSZ9031 Gigabit 
> PHY with device e000c000.ethernet-ffffffff:01
> Micrel KSZ9031 Gigabit PHY e000c000.ethernet-ffffffff:01: no pinctrl 
> handle
> driver: 'Micrel KSZ9031 Gigabit PHY': driver_bound: bound to device 
> 'e000c000.ethernet-ffffffff:01'
> bus: 'mdio_bus': really_probe: bound device 
> e000c000.ethernet-ffffffff:01 to driver Micrel KSZ9031 Gigabit PHY
> device: 'eth0': device_add
> macb e000c000.ethernet eth0: Cadence GEM rev 0x00020118 at 0xe000c000 
> irq 24 (xx:xx:xx:xx:xx:xx)

Kernel command line is rather simple :

 > console=ttyPS0,115200 earlyprintk root=/dev/nfs rw 
nfsroot=192.168.101.56:/home/rootfs/rootfs_2022,vers=4,tcp ip=dhcp


=> Is this something you already faced ?
If not , do you have any insight on debugging method besides JTAG ?

Thanks


Julien Aube