Board Support Package (для MicroBlaze) в Xilinx SDK собирается с -O2. При этом проводить отладку крайне сложно (даже при отладке своего кода возникает необходимость пройтись по библиотекам). Хотелось бы собрать с -O0. В Board Support Package settings настройка оптимизации есть, но менять ее нельзя. Сборка производится утилитой libgen, судя по описанию в Embedded System Tools Reference Guide она не имеет настроек оптимизации.
Можно ли все-таки как-то собрать без оптимизации?

Вам требуется отладка вообще во всех либах или в какой-то одной-двух? В папке ISE_DS/EDK/sw/XilinxProcessorIPLib/drivers по идее для каждого такого драйвера есть свои настройки - может там можно поменять?

Спасибо, очень помогло. Дописал override COMPILER_FLAGS= -O0 ('override' надо, т.к. -O2 передается в аргументах make) в Makefile в этой папке: ISE_DS\EDK\sw\ThirdParty\sw_services\lwip130_v3_01_a\src\ и собралось с -O0. Теперь можно нормально отладить.