[Nix-dev] Raspberry Pi image seed

[Jeremy Hughes]

Thanks for the heads up Tim. I haven't bought a Pi yet. I'm making do
with emulation until then.

Jeremy

On Tue, Feb 11, 2014 at 7:28 PM, Tim Barbour <trb at categorical.net> wrote:
> Jeremy Hughes writes:
>  > Never mind. Got it now. Bizarre.
>
> You might be interested to know that the image in question does not work with
> RPis that use the Hynix chipset (in some later RPis), as I discovered when
> trying to use it. I have made a modified image that does work with the Hynix
> chipset, and will make it available as soon as I can.
>
> I suggest checking your RPi CPU - if it has "hynix" written on it, then you
> probably need my modified image.
>
> Tim
> ---
> GPG public key available at:
>          http://phasechangeit.com/~trb/gpg-key  or
>          http://subkeys.pgp.net:11371