Exynos 3830 — Driver

While I couldn't find a single, definitive guide that covers everything about the Exynos 3830 driver, I can point you to some resources that might be helpful: