From c0397a0dce8140c90d1c6e8cb5a500530bf68826 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Wed, 10 Jan 2024 10:00:17 +0000 Subject: [PATCH] Remove #![feature(feature)] from example root task Signed-off-by: Nick Spinale --- crates/examples/root-task/example-root-task/src/main.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/crates/examples/root-task/example-root-task/src/main.rs b/crates/examples/root-task/example-root-task/src/main.rs index f7bb3b53c..30494c5e9 100644 --- a/crates/examples/root-task/example-root-task/src/main.rs +++ b/crates/examples/root-task/example-root-task/src/main.rs @@ -6,12 +6,11 @@ #![no_std] #![no_main] -#![feature(never_type)] -use sel4_root_task::root_task; +use sel4_root_task::{root_task, Never}; #[root_task] -fn main(bootinfo: &sel4::BootInfo) -> sel4::Result { +fn main(bootinfo: &sel4::BootInfo) -> sel4::Result { sel4::debug_println!("Hello, World!"); let blueprint = sel4::ObjectBlueprint::Notification;