if TARGET_PK1C20 config SYS_BOARD string default "pk1c20" config SYS_VENDOR string default "psyent" config SYS_CONFIG_NAME string default "PK1C20" endif