if TARGET_INTIP config SYS_BOARD default "intip" config SYS_VENDOR default "gdsys" config SYS_CONFIG_NAME default "intip" endif