Skip to content

Commit

Permalink
docs: Align README with RIOT's, tone down on providing 'batteries inc…
Browse files Browse the repository at this point in the history
…luded' (ariel-os#587)
  • Loading branch information
chrysn authored Dec 1, 2024
2 parents 7a20485 + dde47ce commit 45a9686
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,8 +28,9 @@ In particular, Ariel OS aims to combine:
- **preemptive scheduler** programming paradigms, based on formally verified modules using [hax](https://hacspec.org/blog/posts/hax-v0-1/);
- **booting & update security**, via measured boot and secure software updates, using formally verified modules.

Overall, Ariel OS gives you a 'batteries-included' experience, on par
with [RIOT](https://github.com/RIOT-OS/RIOT).
Ariel OS is an offspring of [RIOT OS](https://github.com/RIOT-OS/RIOT).
It shares many of its goals and [visions](https://doc.riot-os.org/vision.html),
such as portability and providing a 'batteries-included' experience.

## Supported hardware

Expand Down

0 comments on commit 45a9686

Please sign in to comment.