1if TARGET_NOKIA_RX51 2 3config SYS_BOARD 4 string 5 default "rx51" 6 7config SYS_VENDOR 8 string 9 default "nokia" 10 11config SYS_CONFIG_NAME 12 string 13 default "nokia_rx51" 14 15endif 16