From 26506673c41b4f77a2306d51deabb0d125268a0b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 9 Feb 2021 11:08:55 +0100
Subject: [PATCH] seoul-auto: limit to one CPU on Qemu

Issue #3965
---
 repos/ports/run/seoul-auto.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/seoul-auto.run b/repos/ports/run/seoul-auto.run
index 687cd3c2a1..d4d0b71e68 100644
--- a/repos/ports/run/seoul-auto.run
+++ b/repos/ports/run/seoul-auto.run
@@ -73,7 +73,7 @@ foreach binary $guest_os_binaries {
 
 source ${genode_dir}/repos/ports/run/seoul.inc
 
-append qemu_args " -cpu phenom -smp 2 "
+append qemu_args " -cpu phenom "
 append qemu_args " -nographic "
 append_qemu_nic_args