Update logo.

hopter-project · Sep 18, 2024 · 1e3621a · 1e3621a
1 parent a60b15c
commit 1e3621a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/assets/hopter-logo.png b/.github/assets/hopter-logo.png
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+![Hopter's Logo](./.github/assets/hopter-logo.png)
+
 Hopter is a Rust-based embedded operating system built to enable memory-safe, efficient, reliable, and responsive applications. It is co-designed with a [customized compiler](https://github.com/hopter-project/hopter-compiler-toolchain) that guarantees additional invariants beyond what Rust can express. However, the changes to the compiler are transparent to application programmers, and Rust's syntax remains unchanged.
 
 Hopter does not rely on any hardware protection mechanisms, providing safety purely through software. However, it does not anticipate malicious applications. The threat model is similar to that assumed by FreeRTOS.