I'm on a latest build as of 16.11.2021 on a pico board and USB VCP keyboard interrupt does not seem to work.

On the console I tried the following

>>> import micropython
>>> micropython.kbd_intr(3)
>>> while True: print("Hello")

however the while loop does not break when pressing CTRL+C

I then tried to enable #define MICROPY_KBD_EXCEPTION (1) but did not succeed either