• 0

SD card Image file generation from Petalinux


I have generated the bit file from Vivado 18.2 which is installed in windows PC. Now I am trying to generate the SD card image boot file (.bin and .ub files) from petalinux 18.2 installed in a seperate linux PC. I have gone through the ug1144, but I am not able to figure out how to generate.

Please share the point wise steps.

its very urgent.


Thanks in advance.

Share this post

Link to post
Share on other sites

1 answer to this question

Recommended Posts

  • 0


1. Make sure bitstream is included in hdf file by checking include bitstream in Export  Hardware dialog

2. Copy .hdf file to your linux machine

3. Follow instructions on page 27 in ug1144 on how to import hardware (this assume you already have a petalinux project)

3.1 Make sure you provide path to the directory containing the the file not to the file itself.

Share this post

Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now