You can set the GPIO numbers for the PS/2 interface in the registry.

[HKEY_LOCAL_MACHINE\HARDWARE\DEVICEMAP\KEYBD]
"clockGPIO"=dword:0e   ;Set the GPIO number. If you set the value to ffffffff (-1) no GPIO is used
"dataGPIO"=dword:13    ;Set the GPIO number. If you set the value to ffffffff (-1) no GPIO is used

Colibri Tegra

By default on the Colibri Tegra PS2 is disabled. The first image supporting PS2 is image V1.1beta2. To enable it you need to add the registry keys.

If you like to use the standard pins on the Colibri T20 you need to add:

[HKEY_LOCAL_MACHINE\HARDWARE\DEVICEMAP\KEYBD]
"clockGPIO"=dword:9a   ;decimal 154, GPIO T_2, SODIMM 69
"dataGPIO"=dword:5f    ;decimal 95, GPIO L_7, SODIMM 65

In image V1.1beta2 you need to deactivate DFS to use the PS2.

Standard settings for T30 modules are (supported from image 2.0 beta 3 on):

[HKEY_LOCAL_MACHINE\HARDWARE\DEVICEMAP\KEYBD]
"clockGPIO"=dword:ed   ;decimal 237, GPIO DD5, SODIMM 69
"dataGPIO"=dword:ee    ;decimal 238, GPIO DD6, SODIMM 65

Colibri Vybrid

By default on the Colibri Vybird PS2 is disabled. To enable it you need to add the registry keys.

If you like to use the standard pins on the Colibri Vybrid you need to add:

[HKEY_LOCAL_MACHINE\HARDWARE\DEVICEMAP\KEYBD]
"clockGPIO"=dword:40 ;SODIMM 69
"dataGPIO"=dword:28  ;SODIMM 65
"Priority256"=dword:91