For software development on my Raspberry Pi B+ I chose ChibiOS/RT, since I want real time capabilities for wave propagation experiments, and its use is not restricted to the Raspberry Pi as compared to the alternative of using Raspbian with modified kernel.