The leaked kernel was apparently later open sourced [1], although I can't actually find it on the official samsung website. [1]: https://www.phoronix.com/scan.

The leaked kernel was apparently later open sourced [1], although I can't actually find it on the official samsung website. [1]: https://www.phoronix.com/scan.php?page=news_item&px=MTQzODQ https://www.phoronix.com/scan.php?page=news_item&px=MTQzODQ