There is mention during this podcast.

https://signalsandthreads.com/what-is-an-operating-system/