OneLine: Operating Systems