Add support for FPU flag for PDs

Signed-off-by: Jakub Duchniewicz <j.duchniewicz@unsw.edu.au>

Author: JDuchniewicz

tool/microkit/src/capdl/builder.rs

@@ -322,6 +322,7 @@ impl CapDLSpecContainer {
             prio: 0,
             max_prio: 0,
             resume: false,
+            fpu: true,
             ip: entry_point.into(),
             sp: 0.into(),
             gprs: Vec::new(),
@@ -468,7 +469,7 @@ pub fn build_capdl_spec(
     )
     .unwrap();
 
-    // At this point, all of the required objects for the monitor have been created and it caps inserted into
+    // At this point, all of the required objects for the monitor have been created and its caps inserted into
     // the correct slot in the CSpace. We need to bind those objects into the TCB for the monitor to use them.
     // In addition, `add_elf_to_spec()` doesn't fill most the details in the TCB.
     // Now fill them in: stack ptr, priority, ipc buf vaddr, etc.
@@ -911,6 +912,7 @@ pub fn build_capdl_spec(
                             affinity: Word(vcpu.cpu.0.into()),
                             prio: virtual_machine.priority,
                             max_prio: virtual_machine.priority,
+                            fpu: true,
                             resume: false,
                             // VMs do not have program images associated with them so these are always zero.
                             ip: Word(0),

tool/microkit/src/sdf.rs

@@ -257,6 +257,8 @@ pub struct ProtectionDomain {
     pub smc: bool,
     pub cpu: CpuCore,
     pub program_image: PathBuf,
+    /// Enable FPU for this PD.
+    pub fpu: bool,
     pub maps: Vec<SysMap>,
     pub irqs: Vec<SysIrq>,
     pub ioports: Vec<IOPort>,
@@ -456,6 +458,7 @@ impl ProtectionDomain {
             // but we do the error-checking further down.
             "smc",
             "cpu",
+            "fpu",
         ];
         if is_child {
             attrs.push("id");
@@ -607,6 +610,12 @@ impl ProtectionDomain {
             ));
         }
 
+        let fpu = if let Some(xml_fpu) = node.attribute("fpu") {
+            xml_fpu == "true"
+        } else {
+            false
+        };
+
         for child in node.children() {
             if !child.is_element() {
                 continue;
@@ -1074,6 +1083,7 @@ impl ProtectionDomain {
             smc,
             cpu,
             program_image: program_image.unwrap(),
+            fpu,
             maps,
             irqs,
             ioports,