Commits

Commits on Jun 5, 2025

Merge pull request #256 from rust-osdev/next
Show description for f0225a6
phil-opp
authored
f0225a6
Copy full SHA for f0225a6
Empty section note
phil-opp
committed
8938dee
Copy full SHA for 8938dee
Add news and infra sections
phil-opp
committed
e276d7f
Copy full SHA for e276d7f
Fix some dead links in older posts
phil-opp
committed
5821920
Copy full SHA for 5821920
Skip some link checks
phil-opp
committed
f1321de
Copy full SHA for f1321de
Set publish date
phil-opp
committed
420ae31
Copy full SHA for 420ae31
Add changelog for rust-osdev projects
phil-opp
committed
656d8e5
Copy full SHA for 656d8e5
Merge pull request #258 from rw-vanc/redox-monthly-may-2025
Show description for 97dd7b8
phil-opp
authored
97dd7b8
Copy full SHA for 97dd7b8

Commits on Jun 4, 2025

Add Redox Monthly Report for May 2025
rw-vanc
committed
3183df9
Copy full SHA for 3183df9

Commits on May 27, 2025

Merge pull request #257 from CharlyCst/next
Show description for 4d93835
phil-opp
authored
4d93835
Copy full SHA for 4d93835

Commits on May 25, 2025

Add Miralis to newletter
Show description for d092f6e
CharlyCst
committed
d092f6e
Copy full SHA for d092f6e

Commits on May 10, 2025

Add draft for May issue
phil-opp
committed
fef6e9c
Copy full SHA for fef6e9c
Merge pull request #254 from rust-osdev/next
Show description for 27c9125
phil-opp
authored
27c9125
Copy full SHA for 27c9125
Set publish date
phil-opp
committed
f6cd676
Copy full SHA for f6cd676
Add infra updates
phil-opp
committed
6d30ede
Copy full SHA for 6d30ede

Commits on May 9, 2025

Add announcements, blog posts, and news
phil-opp
committed
1617d2d
Copy full SHA for 1617d2d
Add changelog for phil-opp/blog_os
phil-opp
committed
39c4d94
Copy full SHA for 39c4d94
Add changelog for rust-osdev projects
phil-opp
committed
544e483
Copy full SHA for 544e483
Run cargo update
phil-opp
committed
7c15816
Copy full SHA for 7c15816

Commits on Apr 6, 2025

Add draft for April issue
phil-opp
committed
0c65a39
Copy full SHA for 0c65a39
Merge pull request #253 from rust-osdev/next
Show description for b2cf5d5
phil-opp
authored
b2cf5d5
Copy full SHA for b2cf5d5
Set publish date
phil-opp
committed
bf3ba5a
Copy full SHA for bf3ba5a
Add announcements and infra updates
phil-opp
committed
6bdaa3f
Copy full SHA for 6bdaa3f
Add changelog for phil-opp/blog_os
phil-opp
committed
5b36f28
Copy full SHA for 5b36f28
Add changelog for rust-osdev projects
phil-opp
committed
66cf825
Copy full SHA for 66cf825

Commits on Mar 4, 2025

Add draft for March issue
phil-opp
committed
e2e05f9
Copy full SHA for e2e05f9
Merge pull request #250 from rust-osdev/next
Show description for 9984edd
phil-opp
authored
9984edd
Copy full SHA for 9984edd
Fill empty section
phil-opp
committed
a061b7e
Copy full SHA for a061b7e
Add infra updates
phil-opp
committed
93177f8
Copy full SHA for 93177f8
Add announcements, blog posts, and news
phil-opp
committed
3fe3fdd
Copy full SHA for 3fe3fdd
Add changelog for rust-osdev projects
phil-opp
committed
d1bf512
Copy full SHA for d1bf512

Commits on Feb 19, 2025

Merge pull request #252 from tatetian/practical_rust_os_verification
Show description for 476a2ee
phil-opp
authored
476a2ee
Copy full SHA for 476a2ee

Commits on Feb 17, 2025

Add blog post: Towards Practical Formal Verification for a General-Purpose OS in Rust
tatetian
committed
4177480
Copy full SHA for 4177480

Commits on Feb 9, 2025

Merge pull request #251 from tatetian/asterinas_2024m
Show description for 3c368af
phil-opp
authored
3c368af
Copy full SHA for 3c368af
Add Asterinas in 2024 blog post
tatetian
committed
58b5440
Copy full SHA for 58b5440