Re: porting rtlinux into x86