Porting Embox on Rpi 4b

4 views

Skip to first unread message

Abhinav Shubham

unread,

Dec 26, 2025, 12:54:37 AM (3 days ago) Dec 26

to embox-devel

Hi There !

I am recently working on some POC that deals with porting wayland to some non linux based OS.

Came to know about embox, so was trying to flash the binary and the kernel image to a Rpi 4B devel board, from the instructions given here : https://github.com/embox/embox/wiki/Raspberry-Pi#running-on-raspberry-pi-model-b-rev-20-rpi1

But was not able to boot the device. May be there is some architecture mismatch with the binary.

Can anyone suggest a proper way to proceed further in this direction? Is there some way to change the configuration of embox and be able to flash it on Rpi 4b ?

Goal is to run wayland on a non linux environment to be able to render some graphics on the display.

Suggestions are welcome !

Regards,