Ha a Xilinx PetaLinux (vagy egy buildroot+kernel fordítás menne), az sok hallgatómnak jóság volna :-).