With the kernel in memory, boot-time device drivers are loaded (but not yet initialized). The required information (along with information on all detected hardware and Windows Services) is stored in the codice_31 portion of the registry, in a set of registry keys collectively called a "Control Set". Multiple control sets (typically two) are kept, in the event that the settings contained in the currently-used one prohibit the system from booting. codice_31 contains control sets labeled codice_33, codice_34, etc., as well as codice_35. During regular operation, Windows uses codice_35 to read and write information. codice_35 is a reference to one of the control sets stored in the registry. Windows picks the "real" control set being used based on the values set in the codice_38 registry key: