Skip to content

Commit 3fe3fdd

Browse files
committed
Add announcements, blog posts, and news
1 parent d1bf512 commit 3fe3fdd

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

content/this-month/2025-02/index.md

+7
Original file line numberDiff line numberDiff line change
@@ -32,9 +32,16 @@ Please follow this template:
3232
- (optional) Some additional context
3333
-->
3434

35+
- [This Month in Redox - January 2025](https://www.redox-os.org/news/this-month-250131/)
36+
- [RSoC 2024: Dynamic Linking - Part 2](https://www.redox-os.org/news/02_rsoc2024_dynamic_linker/)
3537
- [Asterinas in 2024](https://asterinas.github.io/2025/01/20/asterinas-in-2024.html)
3638
- [Asterinas](https://github.com/asterinas/asterinas) is a Linux ABI-compatible OS written from scratch in Rust
3739
- [Towards Practical Formal Verification for a General-Purpose OS in Rust](https://asterinas.github.io/2025/02/13/towards-practical-formal-verification-for-a-general-purpose-os-in-rust.html)
40+
- [Writing a Simple Windows Driver in Rust](https://scorpiosoftware.net/2025/02/08/writing-a-simple-driver-in-rust/)
41+
- [FOSDEM talk: Rust for Linux](https://fosdem.org/2025/schedule/event/fosdem-2025-6507-rust-for-linux/)
42+
- [No-Panic Rust: A Nice Technique for Systems Programming](https://blog.reverberate.org/2025/02/03/no-panic-rust.html)
43+
- [PSA: uuid's getrandom update may break no-std V4/V7 users](https://www.reddit.com/r/rust/comments/1ihd0hf/psa_uuids_getrandom_update_may_break_nostd_v4v7/)
44+
- The Embedded Rustacean: [Issue #39](https://www.theembeddedrustacean.com/p/the-embedded-rustacean-issue-39) and [Issue #40](https://www.theembeddedrustacean.com/p/the-embedded-rustacean-issue-40)
3845

3946
## Infrastructure and Tooling
4047

0 commit comments

Comments
 (0)