Device driver manager is a tool to help users installing third-party hardware drivers. currently nvidia, ati and broadcom drivers can be installed and allows to install the pae kernel for multi-core 32-bit systems.