作者：HankFu，本文转载自：博客园
Xilinx 发布的Linux Kernel，默认包含了以下选项：
Filesystem: ISO9660_FS, uefi, efivarfs, btrfs,reiserfs,jfs,xfs, nfs, ecryptfs。
wireless network: bluetooth, mac80211, WiMAX, RF switch, wlan.
network: sunrpc, openvswitch, Virtual Socket protocol, netfilter, MPLS, IPV6, .
tv: DIGITAL_TV, MEDIA_TUNER, DVB_CORE
virtualization: xen, cgroup
sound: CONFIG_SOUND, CONFIG_SND
如果不需要上述特性，可以disable它们，以减小Linux大小。
编译后，可以使用petalinux-boot --qemu --kernel启动Linux，验证是否能工作。
QEMU启动，需要在目录pre-built/linux/images/有文件pmu_rom_qemu_sha3.elf，在目录/images/linux/下有bl31.elf。
