diff --git a/src/plat/exynos4/overlay-exynos4.dts b/src/plat/exynos4/overlay-exynos4.dts index 994a2a0b36121573cad0dbc6e77abc4f4f2affb9..6abd2a479bde138d0ea43fb7db0c8ae290c615dc 100644 --- a/src/plat/exynos4/overlay-exynos4.dts +++ b/src/plat/exynos4/overlay-exynos4.dts @@ -11,17 +11,13 @@ */ / { - - /delete-node/ memory; + /delete-node/ memory; memory@40000000 { device_type = "memory"; }; - memory@40000000 { + memory@40000000 { device_type = "memory"; - reg = < 0x40000000 0x20000000 >; + reg = < 0x40000000 0x1f000000 >; }; - - - }; diff --git a/src/plat/exynos5/overlay-exynos5250.dts b/src/plat/exynos5/overlay-exynos5250.dts index bc9974a2125445d33cc1b8223b8010a55e35621f..05b1a817adbc96e4b014bec33d81aafe36de41db 100644 --- a/src/plat/exynos5/overlay-exynos5250.dts +++ b/src/plat/exynos5/overlay-exynos5250.dts @@ -17,7 +17,7 @@ }; memory@40000000 { - reg = <0x60000000 0x60000000>; + reg = <0x60000000 0x1f000000>; }; vm-memory@40000000 { diff --git a/src/plat/exynos5/overlay-exynos5410.dts b/src/plat/exynos5/overlay-exynos5410.dts index 6d28b70b1750e45321f36700f79deff5568a9836..7a8e1dcc0f91ddb9f45b6ee482b46d7b8f3caa69 100644 --- a/src/plat/exynos5/overlay-exynos5410.dts +++ b/src/plat/exynos5/overlay-exynos5410.dts @@ -39,7 +39,7 @@ }; memory@40000000 { - reg = <0x60000000 0x5ea00000>; + reg = <0x60000000 0x1f000000>; }; vm-memory@40000000 { diff --git a/src/plat/exynos5/overlay-exynos5422.dts b/src/plat/exynos5/overlay-exynos5422.dts index 0dfcdbf7b01cce7afbcf0611243b6a52b0bdf0a6..a5b9a4187dc6881994edfe42624e11c0930bdefd 100644 --- a/src/plat/exynos5/overlay-exynos5422.dts +++ b/src/plat/exynos5/overlay-exynos5422.dts @@ -30,7 +30,7 @@ }; memory@40000000 { - reg = <0x60000000 0x5ea00000>; + reg = <0x60000000 0x1f000000>; }; vm-memory@40000000 { diff --git a/src/plat/imx6/overlay-sabre.dts b/src/plat/imx6/overlay-sabre.dts index 854afe354df9f6d6f35730ca7a54eaa27b04aa5c..cfd2e11ee3b0ae3a02d42fb197fa871bfe3a7a09 100644 --- a/src/plat/imx6/overlay-sabre.dts +++ b/src/plat/imx6/overlay-sabre.dts @@ -16,5 +16,6 @@ /delete-node/ memory; memory@10000000 { device_type = "memory"; + reg = <0x10000000 0x1ff00000>; }; };