set(
    AFR_MANIFEST_SUPPORTED_BOARDS
    emsdp
	emsk
	iotdk
	hsdk
    CACHE INTERNAL "Supported boards list."
)

set(AFR_MANIFEST_BOARD_DIR "boards")
set(AFR_MANIFEST_BOARD_DIR_emsdp "boards/embARC")
set(AFR_MANIFEST_BOARD_DIR_emsk "boards/embARC")
set(AFR_MANIFEST_BOARD_DIR_iotdk "boards/embARC")
set(AFR_MANIFEST_BOARD_DIR_hsdk "boards/embARC")
