Birbla

Point AI at a "Proven" Microkernel?

Point AI at a "Proven" Microkernel?

2 pointsby RantyDave0 comments

Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

Sign in
  • Hacker News
  • seL4 is open source and pretty small.

    What's stopping you?

    by snvzz
  • I'd be curious to see what it produces. Thanks for bringing it up!
    by atechboy

Explore Birbla archives