https://securesoftwaredev.com/choosing-the-right-operating-system/