Zach PfefferOct 28, 20181 minlinux-xlnx won't build in devtoolThis post is a summary of an error that I hit when trying to use devtool to rebuild the Linux kernel using PetaLinux 2018.2 from Xilinx:...