https://driveghost.com/ https://driveghost.com/ current users aren't very loud about it. RTI is implementing DDS for sel4. productionization is still early day

https://driveghost.com/ https://driveghost.com/ current users aren't very loud about it. RTI is implementing DDS for sel4. productionization is still early days. DARPA is pushing for it. you might look at the speakers, sponsors, and attendees of the sel4 conferences and workshops :)