RTEMS Jetson-TK1 BSP

[Andreas Kölbl]

Hello everybody,

I'm happy to announce my RTEMS port to the Jetson-TK1 [1].
The cortex-a15 based board includes a lot of devices and is already
supported by the Jailhouse hypervisor. The BSP supports a console driver
(termios via the National Semiconducters 8250 serial interface), GPIOs
and an timercounter implementation using the GIC-Timer. To run in
Jailhouse, a cmdline parser is also included.

Any comments or suggestions to this port would be very helpful.

[1] https://github.com/lfd/rtems/tree/jetson-tk1

--
Andreas Kölbl