China, Singapore line up for dumped Australian Gov CS research team (seL4)

by flgb on 5/24/2021, 11:42 PM with 1 comments
  • by jhvkjhk on 5/25/2021, 12:00 AM

    Li auto is a competitor of Tesla, seL4 is one of the most secure micro kernel, finally some electric car company that take software seriously.