^

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:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jsp
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
Feed Back