require conf/distro/xilinx-standalone.inc # Make sure any users get the xilinx-standalone distro override DISTROOVERRIDES =. "xilinx-standalone:"