Avnet Spartan 3A400 kit, Где найти BSP на него? Опции

[count_enable]

Откопал неиспользуемый кит Авнета, такой как по ссылке: http://shop.trenz-electronic.de/catalog/pr...products_id=456

На сайте производителя BSP найти не удалось. Проекты созданы под ISE10.1, царствие ему небесное. При попытке миграции на 14.1 Визард ссылается на невозможность найти свежие соответствия (PNAME: xps_gpio, INSTANCE: LEDS_4BIT - cannot find MPD for the pcore) и предлагает вручную мигрировать. Откопал ИСЕ10, запустил в виртуалке, EDK даже прочитал дизайн. Но SDK отказывается запуститься потому что "Could not find main class. Program will exit".

Что делать? Жалко выбрасывать плату только из-за протухшего софта. Может кто работал с этим китом? Как собрать Microblaze систему на нём?

[xor.kruger]

Видать putchar тянет много чего с stdio.h, а print переписана и заточена непосредственно на вывод через uart. Ксайлиновский исходник print'a открыт, можно подсмотреть.