The Linux system market will be worth more than $7 billion