[U-Boot-Users] vxWorks boot for mpc8544