Hi I have just received a new board with a dual core cortex a7, the A20-OLinuXino, which I'd like to set up and add to the genode tree - currently more pressing than the RPi! I'm no Arm expert, but I'm assuming that I can take most of the existing arm_v7 and a9 code in base-hw and just use this for setting up an a20olinuxino environment and building an image? https://www.olimex.com/Products/OLinuXino/A20/A20-OLinuXino-MICRO-4GB/open-s... CheersNick