> If not, how do I recompile and install the kbd-module on the > Raspberry Pi? I changed kbd.c for testing purposes and > executed "mk install" in the directory /sys/src/9/. Although > the build succeeded the changes did not seem to be incorporated.
unfortunately. you need to rebuild all of usb (or at least usbd), then your kernel for the changes to always take effect. - erik
