Linux Prime-number device driver.