Genode on i.MX6Q Sabre Lite

Norman Feske norman.feske at ...1...
Fri Jun 23 12:00:42 CEST 2017

Hello Yevgeny,

On 23.06.2017 05:31, Yevgeny Lavrov wrote:
> Running the image on board gave no result, apart from msg: ## Starting
> application at 0x10001000 ...

I wonder, how exactly are you running the image on the board? In
particular, how is the image created?

I am asking because the boot procedure on ARM is different from
x86/multiboot. On x86, the kernel and the Genode ELF image are loaded by
the boot loader (e.g., Grub) as separate boot modules. The kernel is
started by the boot loader. At the startup of the kernel, the kernel
finds the physical memory location of the Genode ELF image in the
multiboot information and ELF-loads core by using this information. In
contrast, on ARM, everything (seL4 kernel + Genode) must be contained in
a single image. The details of how such an image is assembled is
kernel-specific. Consequently, there must exist a seL4-specific tool for
creating it. Can you please elaborate, which tool you use and which
particular steps you take?

Another potential pitfall would be the use of the wrong UART or the use
of a kernel configuration without debug support. The latter is needed
for the kernel-provided UART driver. Have you tried to run a
non-Genode-based seL4 image on the hardware? I would not try to run
Genode on the device before running a simple seL4 example first.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list