Una patch per usare Linux anche quando le risorse sono occupate