Re: VxWorks boot