/*
   * Cavium Thunder DTS file - Thunder board description
   *
   * Copyright (C) 2014, Cavium Inc.
   *
   * SPDX-License-Identifier:	GPL-2.0+ or X11
   *
   */
  
  /dts-v1/;
  
  /include/ "thunderx-88xx.dtsi"
  
  / {
  	model = "Cavium ThunderX CN88XX board";
  	compatible = "cavium,thunder-88xx";
  
  	aliases {
  		serial0 = &uaa0;
  		serial1 = &uaa1;
  	};
  
  	chosen {
                  stdout-path = &uaa0;
          };
  
  	memory@00000000 {
  		device_type = "memory";
  		reg = <0x0 0x00000000 0x0 0x80000000>;
  	};
  };