Secureblue: A security-focused desktop and server Linux operating system