The 787 runs on VxWorks though.
https://blogs.windriver.com/wind_river_blog/2011/09/boeing-7...
https://blogs.windriver.com/wind_river_blog/2011/09/boeing-7...
"The functions of VxWorks have nothing to do with the data issue you are highlighting in the 787," a spokesperson added. We are happy to clarify our coverage.