This is a category page.
It lists all of the pages in category "Disk operating systems" as well as all subcategories of category "Disk operating systems" if any exist.
Pages in category "Disk operating systems"
The following 3 pages are in this category, out of 3 total.
