我正在做microblaze上的linux (不是uclinux)移植 但是我的EDK上的software platform setting的os & library setting上的os没有linux 只有uclinux 我把EDK\sw\ThirdParty\bsp 上的一两个linux文件包放到EDK\sw\lib\bsp后还是不行 (之前把EDK\sw\ThirdParty\bsp 里的uclinux放到EDK\sw\lib\bsp后 就有了uclinux选项了 ) 请问我需要如何设置才能让我的os能有linux的选项呢