Microsoft wins a settlement in its first lawsuit involving Linux