XXX Builds a hardware tree. An example hardware tree is shown in Figure 12.1.
Roughly... the library is initialized through a call to oskit_dev_init. It first does auto-configuration by calling the initialization and probe routines of the different driver sets. After auto-configuration, it builds a device tree representing the topology of the machine. While building the tree, it also organizes the drivers into ``driver sets.'' A driver set consists of driver that share a common set of properties. After initialization, the library is ready to perform I/O requests for the OS.
void oskit_dev_init(void);
This function initializes the library.
