# Meeting 2024-07-10
<!-- Leave your topic starting with ### in the relevant sections below -->

## Critical
<!-- bugs, soundness issues, urgent patches/reviews etc. -->

## Status Reports
<!-- You want to report on something you are working on/request reviews.
Or you want to know the status of something someone else is doing -->

## Discussion Questions
<!-- Anything that requires lengthy discussion/more general questions also fit here -->

## Miscellaneous
<!-- stuff that does not fit into other categories -->

### Certifying memory safety properties of Rust kernel drivers (Clément and Baptiste)

### Allocator API

- https://lore.kernel.org/rust-for-linux/[e-mail]/

### Device / Driver abstractions

- update from Greg / next steps