-# Copyright (c) 2015-2016 ARM Limited
+# Copyright (c) 2015-2016, 2019 ARM Limited
 # All rights reserved.
 #
 # Redistribution and use in source and binary forms, with or without
 GEN_DTS=mkdir -p .gen; \
        $(CPP) -x assembler-with-cpp \
                $(DTC_CPP_FLAGS) \
-               -DCONF_PLATFORM=\"platforms/$(1)\" \
+               -DCONF_PLATFORM=\"../platforms/$(1)\" \
                -DCONF_CPUS=$(2) \
                -o $@ $<
 
 
 /*
- * Copyright (c) 2015-2016 ARM Limited
+ * Copyright (c) 2015-2016, 2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
 
 /dts-v1/;
 
-#include CONF_PLATFORM
+/include/ CONF_PLATFORM
 
 #define CPU(n) \
        cpu@ ## n { \
 
 /*
- * Copyright (c) 2015-2016 ARM Limited
+ * Copyright (c) 2015-2016, 2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
 
 /memreserve/ 0x80000000 0x00010000;
 
-#include CONF_PLATFORM
+/include/ CONF_PLATFORM
 
 #define CPU(n) \
        cpu@ ## n { \
 
 /*
- * Copyright (c) 2015-2016 ARM Limited
+ * Copyright (c) 2015-2016, 2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
 
 /memreserve/ 0x80000000 0x00010000;
 
-#include CONF_PLATFORM
+/include/ CONF_PLATFORM
 
 /* Assign a unique ID for pre-defined configurations. The selected
  * configuration is picked up from CONF_CPUS
 
 /*
- * Copyright (c) 2015-2018 ARM Limited
+ * Copyright (c) 2015-2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
  * Authors: Andreas Sandberg
  */
 
-#include "vexpress_gem5_v1_base.dtsi"
+/include/ "vexpress_gem5_v1_base.dtsi"
 
 / {
        /* The display processor needs custom configuration to setup its
 
 /*
- * Copyright (c) 2015-2018 ARM Limited
+ * Copyright (c) 2015-2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
  * Authors: Andreas Sandberg
  */
 
-#include "vexpress_gem5_v2_base.dtsi"
+/include/ "vexpress_gem5_v2_base.dtsi"
 
 / {
        /* The display processor needs custom configuration to setup its