Re: [9fans] German USB keyboard on Raspberry Pi

[Richard Miller <9fans@hamnavoe.com>]

> #include "../omap/random.c"
>
> which should be
>
> #include "../port/random.c"
>
> Although it was easy to fix, I wonder where this inconsistency
> in the source tree came from. Did I miss an update or something?

I think you did.  /sys/src/9/bcm/random.c should have been deleted.

> Furthermore, I noticed that the build system would build _all_
> of the kernel each time I invoke 'mk', even though only little
> or nothing has changed. Is this the way it is intended to be?

Is your pi connected to the internet?  If not, its time will be
reset to the kernel build time each time you reboot (a function
of the "fakertc" device, which was probably not a very good idea).
When time goes backwards, 'mk' isn't able to do the right thing.

You could build a kernel without the fakertc device; then you'll
be prompted for date and time when you reboot.  Or connect to
the internet so the date can be set from ntp.