I am trying to run available os/run/framebuffer.run script on imx6 platform with modification for imx6. I am getting the following trace on the execution.

Starting kernel ...

kernel initialized
Genode 14.11
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 511 MB to init
int main(): --- init created, waiting for exit condition ---
undefined instruction
[init -> platform_drv] --- i.MX6 platform driver ---
[init -> fb_drv] Starting i.MX6 framebuffer driver
[init -> test-framebuffer] --- Test framebuffer ---
[init] child "platform_drv" announces service "Platform"
[init -> fb_drv] Could not open file "config"
[init -> fb_drv] Could not obtain config file
[init -> platform_drv] void Ccm::ipu_clk_enable(): Enabling IPU Clk
[init -> platform_drv] void Iomux::ipu_enable(): Enabling IOMUXC Clk
no RM attachment (faulter 142090 with IP 10001e94 attempts to write to address 1280028)
void Genode::Pager_object::unresolved_page_fault_occurred(): not implemented
unknown signal context