diff --git a/Cargo.toml b/Cargo.toml index 69f88c66de..77eb248681 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -76,6 +76,7 @@ vga = [] virtio = ["dep:virtio"] virtio-net = ["net", "virtio"] vsock = ["virtio", "pci"] +warn-prebuilt = [] [lints.rust] rust_2018_idioms = "warn" diff --git a/src/lib.rs b/src/lib.rs index 326d7db3ba..ad6a70b855 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -150,6 +150,10 @@ extern "C" fn initd(_arg: usize) { // give the IP thread time to initialize the network interface core_scheduler().reschedule(); + if cfg!(feature = "warn-prebuilt") { + warn!("This is a prebuilt Hermit kernel."); + } + info!("Jumping into application"); #[cfg(not(test))]