Test cases and drivers for the Raspberry Pi BSP on RTEMS