lkml.org 
[lkml]   [2023]   [Apr]   [12]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Date
SubjectRe: [PATCH] MAINTAINERS: add Benno Lossin as Rust reviewer
Signed-off-by: Alex Gaynor <alex.gaynor@gmail.com>

On Wed, Apr 12, 2023 at 6:18 PM Miguel Ojeda <ojeda@kernel.org> wrote:
>
> Benno has been involved with the Rust for Linux project for
> the better part of a year now. He has been working on solving
> the safe pinned initialization problem [1], which resulted in
> the pin-init API patch series [2] that allows to reduce the
> need for `unsafe` code in the kernel. He is also working on
> the field projection RFC for Rust [3] to bring pin-init as
> a language feature.
>
> His expertise with the language will be very useful to have
> around in the future if Rust grows within the kernel, thus
> add him to the `RUST` entry as reviewer.
>
> Link: https://rust-for-linux.com/the-safe-pinned-initialization-problem [1]
> Link: https://lore.kernel.org/rust-for-linux/20230408122429.1103522-1-y86-dev@protonmail.com/ [2]
> Link: https://github.com/rust-lang/rfcs/pull/3318 [3]
> Cc: Benno Lossin <benno.lossin@proton.me>
> Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
> ---
> MAINTAINERS | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/MAINTAINERS b/MAINTAINERS
> index 90abe83c02f3..bf9deaa4aa5a 100644
> --- a/MAINTAINERS
> +++ b/MAINTAINERS
> @@ -18225,6 +18225,7 @@ M: Wedson Almeida Filho <wedsonaf@gmail.com>
> R: Boqun Feng <boqun.feng@gmail.com>
> R: Gary Guo <gary@garyguo.net>
> R: Björn Roy Baron <bjorn3_gh@protonmail.com>
> +R: Benno Lossin <benno.lossin@proton.me>
> L: rust-for-linux@vger.kernel.org
> S: Supported
> W: https://github.com/Rust-for-Linux/linux
>
> base-commit: 09a9639e56c01c7a00d6c0ca63f4c7c41abe075d
> --
> 2.40.0
>


--
All that is necessary for evil to succeed is for good people to do nothing.

\
 
 \ /
  Last update: 2023-04-13 00:22    [W:0.040 / U:0.312 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site