Notes with the operating-systems tag