We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 30274

10.1 EDK - Downloading and running a VxWorks image for PPC440 does not work


Keywords: image, XMD, wind, river, MSR, master, register, dow, run

I cannot download a VxWorks image targeting a PPC440. How can I work around this problem?


After downloading the image, perform a register write to MSR before running:

XMD% rwr msr 0x00000000
XMD% run

This problem has been fixed in the latest EDK 10.1 Service Pack, available at:
The first service pack containing the fix is EDK 10.1 Service Pack 1.
AR# 30274
Date Created 02/11/2008
Last Updated 05/02/2008
Status Active
Type General Article