Раз у этой платы примеры написаны под кейл, то его и разумней использовать. Среда зовется MDK. MDK с таблеткой есть на руторонте. Что бы можно было загружать прошивку требуется некая своеобразная настройка среды гуглить keil programming algoritm. Еще в комплект этого железа не входит отладчик, чем будете прошивать?