text: /*
   * Copyright (C) 2015 ETH Zurich and University of Bologna
   * All rights reserved.
   *
   * This software may be modified and distributed under the terms
   * of the BSD license.  See the LICENSE file for details.
   *
   */
  
  #ifndef __HAL_DEVCHIP_PULP_H__
  #define __HAL_DEVCHIP_PULP_H__
  
  #include "hal/riscv/riscv_v4.h"
  #include "hal/eu/eu_v3.h"
  #include "hal/itc/itc_v1.h"
  #include "hal/dma/mchan_v6.h"
  #include "hal/timer/timer_v2.h"
  #include "hal/soc_eu/soc_eu_v1.h"
  #include "hal/udma/udma_v2.h"
  #include "hal/cluster_ctrl/cluster_ctrl_v2.h"
  #include "hal/icache/icache_ctrl_v2.h"
  #include "hal/apb_soc/apb_soc_v3.h"
  #include "hal/maestro/pmu_v2.h"
  #include "hal/rom/rom_v2.h"
  #include "hal/fll/fll_v1.h"
  #include "hal/gpio/gpio_v2.h"
  #include "hal/hwce/hwce_v5.h"
  
  #endif
  