On Thu, 12 Sep 2024 00:52:47 +0200 Danilo Krummrich <dakr@xxxxxxxxxx> wrote: > Now that all existing `Box` users were moved to the kernel `Box` type, > remove the `BoxExt` extension and all other related extensions. > > Reviewed-by: Alice Ryhl <aliceryhl@xxxxxxxxxx> > Reviewed-by: Benno Lossin <benno.lossin@xxxxxxxxx> > Signed-off-by: Danilo Krummrich <dakr@xxxxxxxxxx> Reviewed-by: Gary Guo <gary@xxxxxxxxxxx> > --- > rust/kernel/alloc.rs | 1 - > rust/kernel/alloc/box_ext.rs | 87 ------------------------------------ > rust/kernel/init.rs | 46 +------------------ > rust/kernel/lib.rs | 1 - > rust/kernel/prelude.rs | 4 +- > rust/kernel/types.rs | 50 --------------------- > 6 files changed, 3 insertions(+), 186 deletions(-) > delete mode 100644 rust/kernel/alloc/box_ext.rs
