Linux Kernel

Finding the Linux kernel version / commit used by Petalinux, and acquiring the kernel source

This post shows how you can find the kernel version used in a Petalinux build - not just the numeric version like 4.19, but the exact git...

Using device tree overlays with Linux/Petalinux

This post will show you how to use device tree overlays in Linux, and discusses Petalinux-specific configuration requirements and bugs....

Log: 2019.1 PetaLinux JTAG Boot U-Boot & Boot Linux

This post lists the output from a successful verbose PetaLinux Tools 2019.1 JTAG boot & subsequent Linux kernel boot from an image.ub on...

Can't Boot to a Login, the Linux Kernel Appears to Hang at: bootconsole [earlycon0] disabled

This post provides a quick solution to a problem you may see booting the Linux kernel built using PetaLinux Tools 2018.2 on the Zynq-7000...

5 Minute User Space "Hello, World!" ARM Cross Compile, Copy to a RootFS and Run on QEMU

This post shows you how to write a user space Hello, World! program, cross-compile it for ARM, copy into a Root FS and run the new Root...

5-Minute Device-Tree "Hello, World!" Linux Kernel Driver Tested on QEMU

This post shows you how to build a Linux kernel driver that reads from the device-tree in 5 min. Before you Start Read and follow the ARM...