diff --git a/fdts/tc.dts b/fdts/tc.dts
index 6eb7d8a..e400f2b 100644
--- a/fdts/tc.dts
+++ b/fdts/tc.dts
@@ -10,6 +10,9 @@
 #include <dt-bindings/interrupt-controller/irq.h>
 #include "platform_def.h"
 #include "tc_vers.dtsi"
+#if TARGET_FLAVOUR_FVP
+#include "tc_fvp.dtsi"
+#endif /* TARGET_FLAVOUR_FVP */
 
 / {
 	compatible = "arm,tc";
@@ -462,14 +465,6 @@
 		status = "okay";
 	};
 
-	rtc@1c170000 {
-		compatible = "arm,pl031", "arm,primecell";
-		reg = <0x0 0x1C170000 0x0 0x1000>;
-		interrupts = <GIC_SPI 100 IRQ_TYPE_LEVEL_HIGH>;
-		clocks = <&soc_refclk>;
-		clock-names = "apb_pclk";
-	};
-
 	vencoder {
 		compatible = "drm,virtual-encoder";
 		port {
@@ -497,22 +492,6 @@
 		smsc,irq-push-pull;
 	};
 
-	kmi@1c060000 {
-		compatible = "arm,pl050", "arm,primecell";
-		reg = <0x0 0x001c060000 0x0 0x1000>;
-		interrupts = <GIC_SPI 197 IRQ_TYPE_LEVEL_HIGH>;
-		clocks = <&bp_clock24mhz>, <&bp_clock24mhz>;
-		clock-names = "KMIREFCLK", "apb_pclk";
-	};
-
-	kmi@1c070000 {
-		compatible = "arm,pl050", "arm,primecell";
-		reg = <0x0 0x001c070000 0x0 0x1000>;
-		interrupts = <GIC_SPI 103 IRQ_TYPE_LEVEL_HIGH>;
-		clocks = <&bp_clock24mhz>, <&bp_clock24mhz>;
-		clock-names = "KMIREFCLK", "apb_pclk";
-	};
-
 	bp_clock24mhz: clock24mhz {
 		compatible = "fixed-clock";
 		#clock-cells = <0>;
@@ -520,12 +499,6 @@
 		clock-output-names = "bp:clock24mhz";
 	};
 
-	virtio_block@1c130000 {
-		compatible = "virtio,mmio";
-		reg = <0x0 0x1c130000 0x0 0x200>;
-		/* spec lists this wrong */
-		interrupts = <GIC_SPI 204 IRQ_TYPE_LEVEL_HIGH>;
-	};
 
 	sysreg: sysreg@1c010000 {
 		compatible = "arm,vexpress-sysreg";