1if TARGET_INKA4X0
2
3config SYS_BOARD
4	default "inka4x0"
5
6config SYS_CONFIG_NAME
7	default "inka4x0"
8
9endif
10