Hello Stefan,

Thank you for the quick response.

I'm sure it has nothing to do with the load instruction and its usage,
but for instance with missing physical backing store, e.g., by wrong RAM
specifications, that is going to be loaded.

I have taken our i.MX6Q SABRE SD out of the cabinet and tested it by
building `run/log` and `run/affinity` for the Wandboard with the minor
patch below [1].
Both run-scripts worked without further modifications beside the lesser
RAM specification on top of Genode's master and staging branches.

We have been using the `run/log` and `run/demo` images.

I do not know what code-base you are using, but please try the patch
below on top of Genode's current master branch to build the "log" image,
and verify whether this works for you.

I'm currently using the Genode 17.02 master branch as my code-base. I've taken it from https://github.com/genodelabs/genode.

[1] Patch:

diff --git a/repos/base/include/spec/imx6/drivers/board_base.h
b/repos/base/include/spec/imx6/drivers/board_base.h
index 2d161f4..3600d6d 100644
--- a/repos/base/include/spec/imx6/drivers/board_base.h
+++ b/repos/base/include/spec/imx6/drivers/board_base.h
@@ -30,7 +30,7 @@ struct Genode::Board_base
enum {
/* normal RAM */
RAM0_BASE = 0x10000000,
- RAM0_SIZE = 0x80000000,
+ RAM0_SIZE = 0x40000000,

/* device IO memory */
MMIO_BASE = 0x00000000,

We've already made this change. We are currently using this setting itself. Besides, making this change, we've changed the NR_OF_CPUS to 1 in [1]. If we let the default value of 4 be set, the device hangs at "Starting kernel ..." stage itself. We also tried setting the RAM0_SIZE to 0x20000000. Our board has a physical RAM of 1 GB.

We have been facing the same pagefault for both the images (demo and log). The core isn't being started. Please provide any pointers to resolve this problem.

Thanks in advance,

Kranthi

[1] repos/base-hw/lib/mk/spec/imx6/*.mk