Developers looking to interface with the Tizen OS on the Exynos 3830 need the toolchain.
The Exynos 3830 (Exynos 850) is a power-efficient chipset featuring eight cores clocked at up to 2.0GHz. It is primarily found in widely used budget-friendly Samsung Galaxy smartphones, including: Samsung Exynos 3830 Drivers Download