Data61, Linux Foundation launch seL4 open source foundation

Discussion in 'all things UNIX' started by guest, Apr 8, 2020.

  1. guest

    guest Guest

    Data61, Linux Foundation launch seL4 open source foundation
    April 8, 2020
    https://www.itnews.com.au/news/data61-linux-foundation-launch-sel4-open-source-foundation-546202
     
  1. This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
    By continuing to use this site, you are consenting to our use of cookies.