On Tuesday 31 July 2007, Marcel Janssen wrote: > Hi, > > I'm stuck with some 32bit only drivers. I have F7 64bit installed and they > can't be used (of course). > > These drivers probably won't be available anytime soon I think in 64bit > version but it's being worked on so eventually they will be available I > think. Until that time I'd like to work with the 32bit drivers. > > Besides installing a complete f7 32bit version are there any other options > to use these (closed source) drivers ? Is it possible to run a 32bit kernel on top of a 64bit one using Xen for example ? Regards, Marcel