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;