From e5ea76c689a9dd06d446b555b7ea91fab1ae6d76 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 9 Sep 2015 21:17:10 +0200 Subject: [PATCH] seoul: set vCPU priority below seoul threads Issue #1702 --- repos/ports/src/app/seoul/main.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/repos/ports/src/app/seoul/main.cc b/repos/ports/src/app/seoul/main.cc index 453956e4a..c2b981eb9 100644 --- a/repos/ports/src/app/seoul/main.cc +++ b/repos/ports/src/app/seoul/main.cc @@ -940,11 +940,12 @@ class Machine : public StaticReceiver _vcpus_up ++; - Vmm::Vcpu_thread * vcpu_thread; - Genode::Cpu_session * cpu_session = Genode::env()->cpu_session(); + long const prio = Genode::Cpu_session::PRIORITY_LIMIT / 16; + static Genode::Cpu_connection * cpu_session = new (Genode::env()->heap()) Genode::Cpu_connection("Seoul vCPUs", prio); Genode::Affinity::Space cpu_space = cpu_session->affinity_space(); Genode::Affinity::Location location = cpu_space.location_of_index(_vcpus_up); + Vmm::Vcpu_thread * vcpu_thread; if (_colocate_vm_vmm) vcpu_thread = new Vmm::Vcpu_same_pd(Vcpu_dispatcher::STACK_SIZE, cpu_session, location); else