An immutable operating system