This is a Google Custom Search Engine for material related to Operating System development
It can search for hardware documents as well as tutorials and theory concepts