Just suscribed.

[phi gcc <phi.gcc@gmail.com>]

Hi Arm'ers,

I just suscribed to this list. I'd like to ask a very first question
that I guess is a FAQ, but I didn't find an easy answer yet.

I need to build my own debian linux kernel on an ARM machine, to
develop and debug some kernel code (experimental). I wonder what would
be a reasonable evaluation board to use for this. I ordered a Rasberry
pi but it takes for ever to get it and wonder if I can got another
similar kind of board tiny board (in the range of $100).

Thanx in advance
Phi.