if TARGET_XAENIAX config SYS_BOARD default "xaeniax" config SYS_CONFIG_NAME default "xaeniax" endif