USB keyboard/mouse to PS/2 interface converter using a Raspberry Pi Pico
32 bit singletasking C kernel