Hi everyone,
I previously posted about an issue with HDMI not working after enabling and flashing the Xenomai 4 kernel on my Raspberry Pi CM4. While the system boots and I can access the terminal via the serial console, the display remains blank.
I’m still seeing the following errors in the kernel logs:
[ 1.041571] brcm-pcie fd500000.pcie: link down
[ 3.190781] vc4-drm gpu: [drm] *ERROR* Failed to get ddc i2c adapter by node
I’ve already tried:
Updating /boot/firmware/config.txt with:
hdmi_force_hotplug=1
hdmi_group=2
hdmi_mode=82
config_hdmi_boost=7
dtoverlay=vc4-kms-v3d
Verifying that necessary drivers (CONFIG_DRM_VC4, CONFIG_I2C_BCM2835, CONFIG_FRAMEBUFFER_CONSOLE) are enabled in the kernel configuration.
Checking dmesg | grep -i drm and dmesg | grep -i hdmi, but the errors persist.
Has anyone successfully run Xenomai 4 on a Raspberry Pi CM4 with working HDMI? If so, any suggestions on what might be missing?
Would really appreciate any insights!
Thanks!
I previously posted about an issue with HDMI not working after enabling and flashing the Xenomai 4 kernel on my Raspberry Pi CM4. While the system boots and I can access the terminal via the serial console, the display remains blank.
I’m still seeing the following errors in the kernel logs:
[ 1.041571] brcm-pcie fd500000.pcie: link down
[ 3.190781] vc4-drm gpu: [drm] *ERROR* Failed to get ddc i2c adapter by node
I’ve already tried:
Updating /boot/firmware/config.txt with:
hdmi_force_hotplug=1
hdmi_group=2
hdmi_mode=82
config_hdmi_boost=7
dtoverlay=vc4-kms-v3d
Verifying that necessary drivers (CONFIG_DRM_VC4, CONFIG_I2C_BCM2835, CONFIG_FRAMEBUFFER_CONSOLE) are enabled in the kernel configuration.
Checking dmesg | grep -i drm and dmesg | grep -i hdmi, but the errors persist.
Has anyone successfully run Xenomai 4 on a Raspberry Pi CM4 with working HDMI? If so, any suggestions on what might be missing?
Would really appreciate any insights!
Thanks!
Statistics: Posted by Nidhi Shende — Mon Feb 10, 2025 3:42 am