Last update for the moment:
Debian seems to have disabled CONFIG_PARAVIRT_SPINLOCKS in it's pv_ops kernel (2.6.32-5-686-*).
I'm stuck.
Last update for the moment:
Debian seems to have disabled CONFIG_ PARAVIRT_ SPINLOCKS in it's pv_ops kernel (2.6.32-5-686-*).
I'm stuck.