To see the keyboard log (for example to test if the keys are working) you can now see the output in systemd journal.

journalctl _SYSTEMD_UNIT=tohkbd.service -f

Note that all key presses are logged so take that into account when entering passwords, etc if you also plan to post your device's logfiles to the internet.

my keyboard's P and down-arrow keys started working yesterday evening, but they require quite a bit stronger presses than other keys. T, X and C still report nothing.

My next update to the driver will be (conditionally?) disabling the blinking led, it's just too bright