// SPDX-License-Identifier: Apache-2.0
fn main() {
use std::path::Path;
// Add in configurations to be checked within the code.
println!("cargo::rustc-check-cfg=cfg(host)");
println!("cargo::rustc-check-cfg=cfg(guest)");
if Path::new("/dev/sev").exists() {
println!("cargo:rustc-cfg=host");
}
if Path::new("/dev/sev-guest").exists() {
println!("cargo:rustc-cfg=guest");
}
}