On Mon, Mar 5, 2012 at 7:52 PM, Denys Dmytriyenko <denis at denix.org> wrote: > We're starting with GCC and need a kernel to supply headers and to > boot some type of ARMv7 image. I have 3 different ARMv7 platforms I can use to test against if needed :) Regards, Brian