PS/2 Mouse?

I have tried a couple of times to get a PS/2 mouse connected to the Pokitto, but failed. I have no idea what I’m doing wrong, I have tried an mbed library which apparently worked a few years ago, I have even taken some Arduino code that I verified myself on two different Arduino models, works fine, convert it to Pokitto and it gives nothing.

It’s driving me


This PS2 - Cookbook | Mbed doesn’t work at all.
This is my conversion from the Arduino code (Arduino left in but commented)
If anyone has any idea what doesn’t work, I’ll gladly listen!