The Boeing 787 is apparently using INTEGRITY-178, a realtime OS from Green Hills Software:

https://www.ghs.com/customers/boeing_787.html