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?

Cheers

Nick