PPC+Ethernet а затем PPC+AFDX, Как сделатЬ? Опции

[ASD100288]

Здравствуйте! Помогите разобраться. Имеется проект с процессором PPC440, Ethernet корка написана самостоятельно. Необходимо написать проект в SDK для работы с Ethernet. Есть ли готовые быблиотеки, которые я могу использовать? lwip не могу использовать т.к. при компиляции SDK ругается cannot find boot.o и make: *** [ppc440_0/lib/libxil.a] Ошибка 2. Как я понял эта ошибка возникает изза того, что не подключены стандартные xps_ethernetlite core или xps_ll_temac core. Использовать их я не могу т.к. на основе Ethernet необходимо в последствии поднять AFDX. Поделитесь пожалуйста опытом или посоветуйте что-нибудь. Заранее благодарен всем откликнувшимся.