2013/4/25 Holger Sebert <holger.seb...@ruhr-uni-bochum.de>: > 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.
mk install usually installs the kernel to /$objtype, but rpi boots from dos partition of an SD card, therefore you also need to copy it over there: ; dosmnt 1 /n/dos ; cp /arm/9pi /n/dos/ ; unmount /n/dos # or simply close the window -- - Yaroslav