Comment # 7 on bug 906248 from Charles Arnold

(In reply to Juergen Gross from comment #6)
> Charles, thanks for the information how to manage to install the system.
> Meanwhile I've found another solution for my problem, as my main requirement
> is a rather new 32-bit pv-domain capable of running an upstream kernel: I'm
> using a debian vm now.
> 
> I hope the required changes for openSUSE will make it for the factory build.

If 32bit versions of openSUSE releases are planned for the future then
this will need to be fixed in Factory.