GNURadio on Xilinx Microblaze

Hi all,

I understand Xilinx Microblaze support Linux OS. May I know GNURadio can
be ported to Microblze Linux OS? Someone done this before?

Cheers,
PN