set(CONFIG_FW_BOARD "cloudchaser" CACHE STRING "Target Firmware Board (project: cloudchaser)")
set(CONFIG_FW_BOARD_REV "2" CACHE INTEGER "Target Firmware Board Revision (project: cloudchaser)")
set(CONFIG_FABI "0" CACHE INTEGER "Enable FABI (project: cloudchaser)")
