A week ago, Archos has started to post the GPL’ed source code for the GEN9 to their Gitorious account.
It’s currently far from complete, but we may expect to get there the kernel source code and toolchain to help independent developers such as OpenAOS team or $auron from UrukDroid build custom firmwares.
Here are two repositories:
https://gitorious.org/archos/archos-gpl-gen9-kernel for the Gen9 Linux Kernel.
https://gitorious.org/archos/archos-gpl-gen9 for build tools and external packages
We will update that post, as soon as the repositories get more complete.