With all the talk about trying to find source code for the Samsung specific bits, I couldn't tell whether or not you were already looking through this site: http://opensource.samsung.com/ ...