Add more checking of measurement handoff in build script

Author: mkeeter

Cargo.lock

@@ -8,6 +8,12 @@ use std::collections::{BTreeMap, BTreeSet};
 /// Application configuration passed into the kernel build.
 #[derive(Clone, Debug, Serialize, Deserialize)]
 pub struct KernelConfig {
+    /// Features enabled in the kernel
+    pub features: Vec<String>,
+
+    /// External regions used in the kernel
+    pub extern_regions: BTreeMap<String, std::ops::Range<u32>>,
+
     /// Tasks in the app image. The order of tasks is significant.
     pub tasks: Vec<TaskConfig>,
 

build/kconfig/src/lib.rs

@@ -2880,6 +2880,11 @@ pub fn make_kconfig(
     flat_shared.retain(|name, _v| used_shared_regions.contains(name.as_str()));
 
     Ok(build_kconfig::KernelConfig {
+        features: toml.kernel.features.clone(),
+        extern_regions: toml
+            .kernel_extern_regions(image_name)?
+            .into_iter()
+            .collect(),
         irqs,
         tasks,
         shared_regions: flat_shared,

build/xtask/src/dist.rs

@@ -6,5 +6,12 @@ edition = "2021"
 [dependencies]
 measurement-token.workspace = true
 
+[build-dependencies]
+anyhow.workspace = true
+ron.workspace = true
+measurement-token.workspace = true
+build-util.path = "../../build/util"
+build-kconfig.path = "../../build/kconfig"
+
 [lints]
 workspace = true

lib/measurement-handoff/Cargo.toml

@@ -0,0 +1,33 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
+use anyhow::Context;
+
+// Make various assertions about the handoff region
+fn main() -> anyhow::Result<()> {
+    let kconfig: build_kconfig::KernelConfig =
+        ron::de::from_str(&build_util::env_var("HUBRIS_KCONFIG")?)
+            .context("parsing kconfig from HUBRIS_KCONFIG")?;
+    assert!(
+        kconfig
+            .features
+            .contains(&"measurement-handoff".to_string()),
+        "missing measurement-handoff feature"
+    );
+    let dtcm_range = kconfig
+        .extern_regions
+        .get("dtcm")
+        .expect("missing `dtcm` in `extern_regions`");
+    assert_eq!(
+        dtcm_range.start,
+        measurement_token::ADDR as u32,
+        "invalid address for token"
+    );
+    assert!(
+        (dtcm_range.end - dtcm_range.start) as usize
+            >= 4 * std::mem::size_of::<u32>(),
+        "range is not large enough for handoff"
+    );
+    Ok(())
+}