From mboxrd@z Thu Jan  1 00:00:00 1970
From: erik quanstrom <quanstro@quanstro.net>
Date: Fri, 26 Apr 2013 08:02:51 -0400
To: 9fans@9fans.net
Message-ID: <4a502f3898c9258a07916468b650a12a@brasstown.quanstro.net>
In-Reply-To: <CAG3N4d_YOXdLCYu+ZEiF+mBtJyP_6S+V4NAyKJpd_odnB48ovA@mail.gmail.com>
References: <5172C2C6.5020202@ruhr-uni-bochum.de>
	<20130420191411.47FD5B834@mail.bitblocks.com>
	<5172F5A0.8070507@ruhr-uni-bochum.de>
	<20130420231810.B50B7B82A@mail.bitblocks.com>
	<51783199.5080909@ruhr-uni-bochum.de>
	<20130424205602.D6E59B82A@mail.bitblocks.com>
	<5179944E.2080109@ruhr-uni-bochum.de>
	<CAG3N4d_YOXdLCYu+ZEiF+mBtJyP_6S+V4NAyKJpd_odnB48ovA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] German USB keyboard on Raspberry Pi
Topicbox-Message-UUID: 48cdda6a-ead8-11e9-9d60-3106f5b1d025

> 2013/4/25 Holger Sebert <Holger.Sebert@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