I hope so too. At least FreeRTOS has tons of track time on it (I've been using it for years). Whence Google Brillo (or whatever it's called this year?)