##############################################################################
# Generate vppinfra/config.h
##############################################################################
##############################################################################
# Generate vppinfra/config.h
##############################################################################