• Building a Linux kernel for the Xilinx PYNQ-Z1 Arm board
• Assumptions
• Preparations
• Get the cross-compilation toolchain
• Create a working directory
• Configure the cross-compilation toolchain
• Get the Xilinx Linux kernel
• Install missing stuff on MacOS
• GNU/Linux tools
• Missing header files
• Soft floating-point stub
• Configuring the Linux kernel
• Building the kernel zImage
• Building the kernel uImage
• Get the Device Tree Compiler dtc
• Get the Xilinx U-Boot sources