> 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
simply "9fat:" should work. no need to unmount. - erik
