The Platform Developer's entry page:
https://source.tizen.org/
(For people who might be interested in porting to a new platform - such as the Kindle e-book.)
For porting u-boot and the Linux kernel to K-Tizen, any of the well established build/development systems specific to that chore would be a good choice.
The Application Developer's entry page:
https://developer.tizen.org/
(For people who might be interested in what resources are available to develop applications for a K-Tizen OS.)
"pm me" if interested in joining a crew to port Tizen to the e-ink Kindles.
Hint to Dokan crew:
This is one of the meanings of "Open Source" not only are the sources open to the public, but the build systems are also open to the public.
(I.E: the "P" in "GPL")
Note to ixtab: Sorry, no obfuscated Java here.