[PATCH 1/6] Add Jetson-TK1 board support

[Sebastian Huber]

Hello,

I added a clock driver for the ARMv7-AR Generic Timer for the new i.MX 7 
BSP:

https://git.rtems.org/rtems/tree/c/src/lib/libbsp/arm/shared/arm-generic-timer-clock-config.c

Please try to use this clock driver for your new BSP.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.