# Our only mission is to start the ARC in an Arduino platform so we
# can pipe its output to the serial port.
CONFIG_ARC_INIT=y
CONFIG_BOOT_BANNER=n