Device Tree Blob support in l4linux

[Martin Schröder]

Hi Adam,

I tracked the problem down to l4linux/arch/l4/kernel/arch-arm/setup.c: 
In static customize_machine(void) either machine_desc->init_machine() is 
called and the static/generic platform devices are added (and the DT 
disregarded). If init_machine is not set the DT is parsed instead by 
of_platform_populate. So I changed in l4.c the .init_machine property to 
NULL and got all the devices generated from the DT.

Now at least I got the pinctrl-mxs.c working (utilizes only memory). But 
gpoi-mxs.c does not get it's irq and fails probing. What is the correct 
interrupt-parent definition if the interrupt controller is outside of 
l4linux?

Best regards,
    Martin