Notes concerning “Operating systems”