This replacement controller allows you to use the QMK firmware on your IBM Model F, as well as attach a solenoid (not included).
Comes with a 3 metre USB C cable and optional headers for F AT locklights and solenoid.
Tested on Model F AT and F122 with the Universal Model F AT and 122 firmwares (xwhatsit/ibm/[keyboard]/universal).
Ribbon cable not included; reuse the one already on your board.
Be careful not to mount the controller upside down. See the photo above of it mounted in an F AT; do it the same if you are putting it in an F AT. If in doubt or putting it in a different keyboard, make sure to match the grounds on the PCB with the grounds on the controller (they will be labeled on the controller).
Note that to add the lock lights header you need to remove one of the pins; again, make sure you are installing it on the correct side of the PCB.
QMK configurator with xwhatsit firmwares can be found here (35.164.28.200:5000/#/xwhatsit/ibm).
Regarding the solenoid, the relevant QMK key codes are HPT_TOG (to toggle the solenoid), and HPT_DWLI / HPT_DWLD (to increase / decrease the dwell time respectively).
To find these keycodes in the QMK configurator you need to select Any (under Quantum), then enter the keycode manually on the key in the GUI
Note: This controller uses the atmel-dfu bootloader (the public xwhatsit configurator is intended for caterina). From what I understand, the only downside of this is that software reset of the controller (for programming) may not work. But I've been able to use the physical reset button without problem. If you have problems you can just build the firmware yourself for atmel-dfu (it is open-source after all)