text: #
  # (C) Copyright 2019 Xilinx, Inc.
  #
  # This program is free software; you can redistribute it and/or
  # modify it under the terms of the GNU General Public License as
  # published by the Free Software Foundation; either version 2 of
  # the License, or (at your option) any later version.
  #
  # This program is distributed in the hope that it will be useful,
  # but WITHOUT ANY WARRANTY; without even the implied warranty of
  # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  # GNU General Public License for more details.
  #
  
  OPTION psf_version = 3.0;
  
  BEGIN driver sync_ip
  
    OPTION supported_peripherals = (sync_ip);
    OPTION supported_os_types = (DTS);
    OPTION driver_state = ACTIVE;
    OPTION NAME = sync_ip;
  
  END driver
  