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
Hello Christo,
On Fri, Dec 04, 2020 at 11:50:41AM +0000, fixed-term.christo.bita@sojus-software.de wrote:
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!
I'm not sure how your bootloader configuration looks like. The way we use the i.MX8 EVK is by reading an uImage via network or from the filesystem of the SD-card and use the bootm command then.
We do not boot an ELF image directly, nor do we copy it to a fixed block on the SD-card. Please, verify whether your boot-method works for more simple scenarios, e.g., our log run-script first.
Alternatively, if you want to follow our way of booting, you have to create an uImage first. Just add the following to your RUN_OPT environment variable:
RUN_OPT += --include image/uboot
either on the commandline or inside the 'etc/build.conf' in your build-directory.
Next load it via network inside u-boot with the 'tftp' command, or copy it to your SD-card's first partition and use either 'fatload' or 'ext2load' to read it from their, dependent on the filesystem present. As last step you start it by 'bootm'. In the following you see my boot sequence. Of course, it is assumed that your SD-card has u-boot already installed:
usb start dhcp setenv serverip 10.0.0.17 tftp 0x50000000 /tftpboot/imx8/uImage bootm 0x50000000
Best regards Stefan
Best regard, Christo
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Hello Christo,
maybe my hint sounds trivial but keep in mind that Genode log messages are not printed to the HDMI screen but only available on the UART/serial line.
Greets
Hello Christian, I was probably expressed wrong. Want I meant is, the board it does not boot. I know the board is functional because I firstly tried to boot the Android image from the eMMC and it worked. So I am definitely doing something very
wrong or missing some step in between while preparing the SD card with the SculptOS image. No hint or help is trivial as I am quite a beginner. Thanks in advance!
Best regards, Christo Am Fr., Dez. 4, 2020 02:59 PM schrieb Christian Helmuth : Hello Christo,
maybe my hint sounds trivial but keep in mind that Genode log messages are not printed to the HDMI screen but only available on the UART/serial line.
Greets
In message eea25bd3d2bf298bc209542d39a383f5@sojus-software.de fixed-term.christo.bita@sojus-software.de wrote:
Hello Christian, I was probably expressed wrong. Want I meant is, the board it does not boot. I know the board is functional because I firstly tried to boot the Android image from the eMMC and it worked. So I am definitely doing something very
wrong or missing some step in between while preparing the SD card with the SculptOS image.
The .elf file isn't a image of a sdcard. It is a "program" that needs to be started from a bootloader. You need u-boot on the sdcard. Follow Stefans reply. You also need access to the uart (serial port), like Christian hinted of.
No hint or help is trivial as I am quite a beginner. Thanks in advance!
No problem!
Best regards Michael Grunditz
-
Christian Helmuth -
fixed-term.christo.bita＠sojus-software.de -
Michael Grunditz -
Stefan Kalkowski