1*dd84058dSMasahiro Yamadaif TARGET_NOKIA_RX51 2*dd84058dSMasahiro Yamada 3*dd84058dSMasahiro Yamadaconfig SYS_CPU 4*dd84058dSMasahiro Yamada string 5*dd84058dSMasahiro Yamada default "armv7" 6*dd84058dSMasahiro Yamada 7*dd84058dSMasahiro Yamadaconfig SYS_BOARD 8*dd84058dSMasahiro Yamada string 9*dd84058dSMasahiro Yamada default "rx51" 10*dd84058dSMasahiro Yamada 11*dd84058dSMasahiro Yamadaconfig SYS_VENDOR 12*dd84058dSMasahiro Yamada string 13*dd84058dSMasahiro Yamada default "nokia" 14*dd84058dSMasahiro Yamada 15*dd84058dSMasahiro Yamadaconfig SYS_SOC 16*dd84058dSMasahiro Yamada string 17*dd84058dSMasahiro Yamada default "omap3" 18*dd84058dSMasahiro Yamada 19*dd84058dSMasahiro Yamadaconfig SYS_CONFIG_NAME 20*dd84058dSMasahiro Yamada string 21*dd84058dSMasahiro Yamada default "nokia_rx51" 22*dd84058dSMasahiro Yamada 23*dd84058dSMasahiro Yamadaendif 24