[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAMP44s1Ai5qMU4yV+Rwz4cY869ZA=cxBcTf2wuaUY1oyLKUNCg@mail.gmail.com>
Date: Thu, 20 Feb 2025 23:59:10 -0600
From: Felipe Contreras <felipe.contreras@...il.com>
To: Boqun Feng <boqun.feng@...il.com>
Cc: gregkh@...uxfoundation.org, airlied@...il.com, hch@...radead.org,
hpa@...or.com, ksummit@...ts.linux.dev, linux-kernel@...r.kernel.org,
miguel.ojeda.sandonis@...il.com, rust-for-linux@...r.kernel.org,
torvalds@...ux-foundation.org
Subject: Re: Rust kernel policy
Boqun Feng wrote:
>
> On Thu, Feb 20, 2025 at 11:19:09PM -0600, Felipe Contreras wrote:
> > Greg KH wrote:
> > > But for new code / drivers, writing them in rust where these types of
> > > bugs just can't happen (or happen much much less) is a win for all of
> > > us, why wouldn't we do this?
> >
> > *If* they can be written in Rust in the first place. You are skipping that
> > very important precondition.
>
> Hmm.. there are multiple old/new drivers (not a complete list) already
> in Rust:
That is a black swan fallacy. Just because you've seen 4 white swans
that doesn't mean all swans are white.
> , so is there still a question that drivers can be written in Rust?
I didn't say no driver can be written Rust, I questioned whether *all*
drivers can be written in Rust.
People are operating under that assumption, but it isn't necessarily true.
--
Felipe Contreras
Powered by blists - more mailing lists