2 serjj
касательно hwlib - там читать надо чего они рекомендуют, я ж эту последовательность запуска тоже не сам придумал

..
А на счёт bare-metal - я давно с ним не работал, всё больше на пингвине сижу, когда работал - читал доки на hwlib, сорцы разные смотрел + TechRef на HPS..
Посмотрите поискам по форуму, тут относительно недавно была кажется темка каксательно работы с hwlib для альткровского сок-а. Или спросите Stewart Little - думаю он вам что то точно подскажет толковое по этой тематике.