kernelconfig_penguin
CONFIG_ARC_BOARD_ML509 is not available for the default architecture x86.
Result is shown for architecture arc
default or selected kernelversion does not have config value CONFIG_ARC_BOARD_ML509.
Result is shown for kernelversion 3.9.9

ML509

configname: CONFIG_ARC_BOARD_ML509

Linux Kernel Configuration
└─> "Legacy" ARC FPGA dev Boards
└─> ML509

ARC ML509 FPGA Ref Platform (Xilinx Virtex-5 Based)