Definition of an Operating System

The video at https://www.youtube.com/watch?v=RhHMgkUdhdk defines an Operating System in one way: