Add network device to L4Linux
manolis837 at gmail.com
Sat Sep 23 10:12:08 CEST 2017
Yesterday with Yang we found why adding the device tree caused the
L4linux boot to fail on Cubietruck with "failed to get physical address
for 2000000". I am sharing this here for future references in case
anyone needs it.
Yang was using the sun7i-a20-cubietruck.dts  device tree which is
normally supposed to be used by Linux running on bare-metal arm. In
L4Linux's case it's running on top of L4 which controls what L4linux can
see. As a result of using sun7i-a20-cubietruck.dts it tries to map a
physical address which it's not allowed to.
Using what Matthias described in , one needs to create a new device
tree based on the simple.dts inside l4linux-source/arch/l4/boot/dts/ and
add the information about the ethernet device and its dependencies
there. Also don't forget to write the io configuration for those devices.
Another mail from Matthias which serves as a really nice explanation of
the process is .
More information about the l4-hackers