thanhtam-h / rpi4-xeno3 Goto Github PK

I run deply.sh on raspberry pi 4B, but my raspberry pi cannot reboot.

hi bro,
i used pi4,and i just do the "prebuilt" thing, then i reboot the system, and final i got a Boot black screen issue. i just wanna to know how can i fix it, and i can't locate issues, i need your help!
Thanks a lot!

Best regards

hi,
thank you very much for the pre-built kernel, now i can run with xenomai3 in rpi4b.
(disabled the opengl driver with "#dtoverlay=vc4-fkms-v3d" make the hdmi to work.)
when i checked the .config, i found that the .config did not set the timer frequency to 1000Hz.

CONFIG_HZ_100=y
# CONFIG_HZ_1000 is not set

i'm wondering if this is the expected setting.
thanks again.

Hi bro,
There is a situation that after following your REDEME's step,the pi4B ,using the 4.19.86-v7l-ipipe kernel, reboot system, the HDMI display does's work after the raspberry Startup Animation，but i just can use the ssh to login the pi4B,there still is can not use "sudo startx" to let HDMI display work. I need your help!

Thanks a lot!

Best regards

Hello,
Do you have idea about the ipipe-arm patch with rpi linux as I see the linux version is 6.1.y and ipipe-arm patch does not have latest patch.

Hi, @thanhtam-h
I try to use this prebuilt kernel but the system will halt after reboot. Could you have a check at your rpi4?
Thanks in advance!