0. 背景0.1 PetaLinux 是什么PetaLinux 是 Xilinx 推出的用于在其自家 SoC 上构建嵌入式 Linux 的一套工具集，集成了编译、调试、仿真等众多工具。0.2