From 4767063748686928f9a99f3632a4b5b30213ba2d Mon Sep 17 00:00:00 2001 From: Robbie VanVossen Date: Thu, 30 Jul 2026 10:01:43 -0400 Subject: [PATCH] domains: Set domain of VM VCPUs to domain of PD Performance of the VM VCPUs is quite off without being placed in a domain when the domain scheduler is being used. Signed-off-by: Robbie VanVossen --- tool/microkit/src/capdl/builder.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/microkit/src/capdl/builder.rs b/tool/microkit/src/capdl/builder.rs index 612c1d499..5266ca168 100644 --- a/tool/microkit/src/capdl/builder.rs +++ b/tool/microkit/src/capdl/builder.rs @@ -1020,7 +1020,7 @@ pub fn build_capdl_spec( sp: Word(0), gprs: [].to_vec(), master_fault_ep: None, // Not used on MCS kernel. - domain: None, + domain: pd.domain, }), }; let vm_vcpu_tcb_obj_id = spec_container.add_root_object(NamedObject {