If we want to allow different processors, the users need to be able to choose the one that they want.