RTEMS and eCoS are both used in embedded systems. The latter was the full stack Qualcomm Atheros wifi embedded SoC. The source is there, open and ready to be ported to this little menace.