7 ms·
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.
by jhvkjhk 5y ago
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.