Hello all together,

according to "Genode OS Framework release 20.11"  SculptOS can run on the i.MX8MQ EVK board.

I wanted to run the example so I did the following steps:

1)start the run Sculpt run-script                                                                                                                                                                                                          tool/create_builddir arm_v8a                                                                                                                                                                                          cd build/arm_v8a                                                                                                                                                                                               make run/sculpt KERNEL=hw BOARD=imx8q_evk

-after this a have an "image.elf" file in "BUILD_DIR/var/run/sculpt/boot" directory.

2)copy in the SD-Card
dd if=image.elf of=/dev/"mySDcard" bs=1k seek=33 conv=fsync

3)select the boot device in the board
 Boot-Mode[3:0] = 0011 (SD card)

The board is connected to a HDMI monitor. Unfortunately I don't get any log information.
Maybe am I missing some middle steps or doing something wrong? 
Any help is very welcomed!


                     Best regard,
                      Christo