Added Migen options.