1CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=47972352
2CONFIG_PRINTK=y
3CONFIG_FPGA=y
4CONFIG_EOS_S3_FPGA=y
5CONFIG_BOOT_BANNER=n
6