News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

Re:10 Years SeL4: Still the Best, Still Getting Better by anp on Tuesday August 06, 2019 @04:58PM (#20629568)
Was this work a part of the post's unnamed self-driving car company project?
[ Parent | on HN ]
Re:10 Years SeL4: Still the Best, Still Getting Better by im_down_w_otp on Tuesday August 06, 2019 @05:12PM (#20629690)
Nope. Entirely different. Left prior place just over a year ago. Eventually started a new company and closed our Seed funding a few months ago.

We have some self-driving car customers, but that's just because they're gluing together really complicated systems from lots and lots of diverse components, so they're great use cases.

Our goal is much broader scoped beyond AV and is more akin to creating new classes of CAE tools for SISoS & CPS designers/engineers.

[ Parent | on HN ]