The Linux kernel: Top 5 innovations