/SamsungPlatformPkgOrigen/OrigenBoardPkg/

• ../
• OrigenBoardPkg-Exynos.dsc
• OrigenBoardPkg-Exynos.fdf