Users outside computer science usually call this cache virtual memory . It is managed by the kernel of the operating system . The page cache in main memory , which is an example of disk cache , is managed by the operating system kernel .