From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
In-Reply-To: <5179944E.2080109@ruhr-uni-bochum.de>
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>
Date: Fri, 26 Apr 2013 10:07:55 +0300
Message-ID: <CAG3N4d_YOXdLCYu+ZEiF+mBtJyP_6S+V4NAyKJpd_odnB48ovA@mail.gmail.com>
From: Yaroslav <yarikos@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [9fans] German USB keyboard on Raspberry Pi
Topicbox-Message-UUID: 488b2bb6-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

--
- Yaroslav