1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
if TARGET_CHROMEBOOK_JERRY config SYS_BOARD default "chromebook_jerry" config SYS_VENDOR default "google" config SYS_CONFIG_NAME default "chromebook_jerry" config BOARD_SPECIFIC_OPTIONS # dummy def_bool y endif