Гигантът може да отдели PC бизнеса си. Придобива Autonomy за $10 млрд.