Chinese EV company NIO is using the formally-verified seL4 operating system for its cars

hypercracker to

technology • 1 month ago

0 Comments

seL4 (@sel4@fosstodon.org)

fosstodon.org

Attached: 1 image Ning Qu from Foundation Premium Member NIO talks at the ##seL4Summit about their seL4-based SkyOS, which has been shipping in their latest models since last month

You must log in or register to comment.

Chat

technology

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !technology@hexbear.net

On the road to fully automated luxury gay space communism.

Spreading Linux propaganda since 2020

Rules:

1. Obviously abide by the sitewide code of conduct. Bigotry will be met with an immediate ban
2. This community is about technology. Offtopic is permitted as long as it is kept in the comment sections
3. Although this is not /c/libre, FOSS related posting is tolerated, and even welcome in the case of effort posts
4. We believe technology should be liberating. As such, avoid promoting proprietary and/or bourgeois technology
5. Explanatory posts to correct the potential mistakes a comrade made in a post of their own are allowed, as long as they remain respectful
6. No crypto (Bitcoin, NFT, etc.) speculation, unless it is purely informative and not too cringe
7. Absolutely no tech bro shit. If you have a good opinion of Silicon Valley billionaires please manifest yourself so we can ban you.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

272 users / day
741 users / week
1.44K users / month
3.33K users / 6 months
22.5K local subscribers
23.3K subscribers
5.17K Posts
60.6K Comments
Modlog