Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on SeL4 Whitepaper [pdf]. Parent comment
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 :)
There are no comments on this comment yet.
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 :)