diff --git a/docs/change-log.md b/docs/change-log.md
index 61499c7..ee9be77 100644
--- a/docs/change-log.md
+++ b/docs/change-log.md
@@ -20,6 +20,10 @@
 *   Unmask SError and Debug exceptions in the trusted firmware.
     Also route external abort and SError interrupts to EL3.
 
+*   The amount of physical RAM available to Linux as specified in the FDTs for
+    Base FVPs have been increased from 2GB to 4GB. This resolves the issue of
+    failing to start user-space when using a RAM-disk file-system.
+
 
 ARM Trusted Firmware - version 0.2
 ==================================
diff --git a/docs/user-guide.md b/docs/user-guide.md
index 45e850b..2c7439a 100644
--- a/docs/user-guide.md
+++ b/docs/user-guide.md
@@ -338,10 +338,6 @@
 
 ##### Prepare RAM-disk
 
-NOTE: The RAM-disk option does not currently work with the Linux kernel version
-described above; use the VirtioBlock method instead. For further information
-please see the "Known issues" section in the [Change Log].
-
 To prepare a RAM-disk root file-system, do the following:
 
 1.  Download the file-system image:
diff --git a/fdts/fvp-base-gicv2-psci.dtb b/fdts/fvp-base-gicv2-psci.dtb
index bfb2710..5bfdcf1 100644
--- a/fdts/fvp-base-gicv2-psci.dtb
+++ b/fdts/fvp-base-gicv2-psci.dtb
Binary files differ
diff --git a/fdts/fvp-base-gicv2-psci.dts b/fdts/fvp-base-gicv2-psci.dts
index 7aa18a5..c8e8d13 100644
--- a/fdts/fvp-base-gicv2-psci.dts
+++ b/fdts/fvp-base-gicv2-psci.dts
@@ -115,10 +115,8 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00000000 0x80000000 0 0x80000000>;
-		/*
+		reg = <0x00000000 0x80000000 0 0x80000000>,
 		      <0x00000008 0x80000000 0 0x80000000>;
-		*/
 	};
 
 	gic: interrupt-controller@2f000000 {
diff --git a/fdts/fvp-base-gicv2legacy-psci.dtb b/fdts/fvp-base-gicv2legacy-psci.dtb
index 227c161..db17e98 100644
--- a/fdts/fvp-base-gicv2legacy-psci.dtb
+++ b/fdts/fvp-base-gicv2legacy-psci.dtb
Binary files differ
diff --git a/fdts/fvp-base-gicv2legacy-psci.dts b/fdts/fvp-base-gicv2legacy-psci.dts
index 340ae50..e53621e 100644
--- a/fdts/fvp-base-gicv2legacy-psci.dts
+++ b/fdts/fvp-base-gicv2legacy-psci.dts
@@ -115,10 +115,8 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00000000 0x80000000 0 0x80000000>;
-		/*
+		reg = <0x00000000 0x80000000 0 0x80000000>,
 		      <0x00000008 0x80000000 0 0x80000000>;
-		*/
 	};
 
 	gic: interrupt-controller@2c001000 {
diff --git a/fdts/fvp-base-gicv3-psci.dtb b/fdts/fvp-base-gicv3-psci.dtb
index 5198cc7..52f251b 100644
--- a/fdts/fvp-base-gicv3-psci.dtb
+++ b/fdts/fvp-base-gicv3-psci.dtb
Binary files differ
diff --git a/fdts/fvp-base-gicv3-psci.dts b/fdts/fvp-base-gicv3-psci.dts
index 8bafe26..c51a672 100644
--- a/fdts/fvp-base-gicv3-psci.dts
+++ b/fdts/fvp-base-gicv3-psci.dts
@@ -115,10 +115,8 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00000000 0x80000000 0 0x80000000>;
-		/*
+		reg = <0x00000000 0x80000000 0 0x80000000>,
 		      <0x00000008 0x80000000 0 0x80000000>;
-		*/
 	};
 
 	gic: interrupt-controller@2f000000 {