require conf/distro/xilinx-standalone.inc

# By default we want to optimize for size.
ESW_CFLAGS_append = " -Os"