1 if TARGET_CHROMEBOOK_JERRY
12 config BOARD_SPECIFIC_OPTIONS # dummy
17 if TARGET_CHROMEBIT_MICKEY
25 config SYS_CONFIG_NAME
28 config BOARD_SPECIFIC_OPTIONS # dummy
33 if TARGET_CHROMEBOOK_MINNIE
41 config SYS_CONFIG_NAME
44 config BOARD_SPECIFIC_OPTIONS # dummy