Release 9 of the Development Kit is available.
Now all downloads have a generated checksum (md5, sha1, sha256, sha512).
The bootstrap dev script, default excludes and some libs have been updated.

More info to contribute on the Contribute page.