if TARGET_GDPPC440ETX
config SYS_BOARD
default "gdppc440etx"
config SYS_VENDOR
default "gdsys"
config SYS_CONFIG_NAME
endif