[PATCH] Add raspberry pi board BSP

[Sebastian Huber]

Instead of the BSP_install_rtems_irq_handler() function you can also use the 
functions described here:

http://www.rtems.org/onlinedocs/doxygen/cpukit/html/group__rtems__interrupt__extension.html#ga086cc450fcdc9e37bfd0744a763dbfd4

-- 
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.