We need to program the open-source PCI driver!