This is an old revision of the document!
Patches for Samsung Exynos machine, DeviceTree and pinctrl are managed in patchwork.
Patches for Samsung Exynos clock and DRM drivers are managed by their respective maintainers.
Take a look at list of TODO tasks and Patches in progress. You may also check Community for resources and other work around Exynos Linux kernel.