Which Linux kernel is PetaLinux Tools using?

May 10, 2018

 This post shows you a way to figure out which Linux kernel PetaLinux Tools is pulling in.


Versions Used


PetaLinux 2017.4 (install help at link , creating a PetaLinux build help at link)





If you hit an issue you need to know _exactly_ which source code tree you're working with and the exact version of that tree.





1. In your PetaLinux build search for "Documentation"

You should see:

 The Linux kernel "Documentation" folder is in the root folder of the kernel so the kernel is at:

 2. Cd into the root of the checked out kernel tree:

 3. Look at the HEAD commit

You should see:



4. Go to https://github.com/Xilinx/linux-xlnx 



6. Click on Commits


7. Click on the b45e90


8. Click on Browse files


You should be at the link: https://github.com/Xilinx/linux-xlnx/tree/b450e900fdb473a53613ad014f31eedbc80b1c90





Xilinx logo from https://twitter.com/xilinxinc at link

Please reload

Our Recent Posts

DOE PAMS Specialties

September 5, 2020

Good Link for HOWTO Bring an Off-Screen Window Back Onto Screen for Windows 10, 8, 7, and Vista

September 5, 2020

Connect to and Control a Synaccess NPC-22 netCommander from Ubuntu 16.04.3 Running in a VirtualBox VM via a Prolific Technology Inc. USB to Serial Port Converter to Turn a Target On and Off

September 4, 2020

Please reload


Please reload


©2020 by Zach Pfeffer