From b29db99f1ceec55e3d55a48252b9d75a0fec0f62 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 14 Apr 2023 18:53:31 +0200
Subject: [PATCH] hw: fix build error with gcc 12

Fixes #4831
---
 repos/base-hw/src/core/board/pc/board.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/board/pc/board.h b/repos/base-hw/src/core/board/pc/board.h
index 69602e5855..c1646c04bb 100644
--- a/repos/base-hw/src/core/board/pc/board.h
+++ b/repos/base-hw/src/core/board/pc/board.h
@@ -31,7 +31,8 @@ namespace Board { using namespace Hw::Pc_board; };
 #include <spec/x86_64/cpu.h>
 
 namespace Board {
-	class Pic : public Local_interrupt_controller { };
+	class Pic : public Local_interrupt_controller
+	{ using Local_interrupt_controller::Local_interrupt_controller; };
 
 	enum {
 		VECTOR_REMAP_BASE   = 48,