32bit drivers, 64bit F7

[Marcel Janssen]

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