Hi, is anybody working on Barebox support for the ARM11 based S3C6410 CPU from Samsung (just to be sure to not re-invent the wheel)? Regards, Juergen -- Pengutronix e.K. | Juergen Beisert | Linux Solutions for Science and Industry | http://www.pengutronix.de/ |