From 65ca9ee906282f31224ebd45e8231999ce8be50a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 24 May 2024 08:46:27 +0200
Subject: [PATCH] platform/pc: don't support poweroff

Fixes #5216
---
 repos/pc/src/drivers/platform/pc/spec/x86_64/main.cc | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/repos/pc/src/drivers/platform/pc/spec/x86_64/main.cc b/repos/pc/src/drivers/platform/pc/spec/x86_64/main.cc
index b82f6c9934..0b347bd660 100644
--- a/repos/pc/src/drivers/platform/pc/spec/x86_64/main.cc
+++ b/repos/pc/src/drivers/platform/pc/spec/x86_64/main.cc
@@ -114,10 +114,6 @@ void Driver::Main::_system_update()
 		/* report independent of result */
 		_common.report_resume();
 	}
-
-	if (state == "poweroff") {
-		try { _suspend("S5"); } catch (...) { error("poweroff failed"); }
-	}
 }