Hello
Firstly, thank you for patiently replying to our queries and debugging issues so far.
We're trying to port Genode onto an i.MX6, which we've realised is no easy task. Our initial approach to this was to tweak existing i.Mx53 files and make corresponding changes (arm cortex a9, created imx6 related folders in include). As pointed out to us by Stefan, this was completely off track as the memory layout may be mixed up (or many more issues).