After getting Genode to build for GTA01 I'm now interested in getting a build running on hardware I have available (an OMAP3 / beagleboard based ARM system). Are there notes somewhere on adding machine support to Genode or should I just study anywhere that mentions gumstix or GTA01? Cheers, Thomas