From c4e3d3dbc480d592ea4e9d8eb23aeb91e5c7a84e Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 26 Mar 2021 23:22:47 +0100
Subject: [PATCH] hw: fix build error with gcc 10

Fixes #4115
---
 repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc b/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
index f343be265b..34ce968505 100644
--- a/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
+++ b/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
@@ -39,7 +39,7 @@ Kernel::Vm::Vm(unsigned,
 void Vm::exception(Cpu & cpu)
 {
 	switch(_state.cpu_exception) {
-	case Genode::Cpu_state::INTERRUPT_REQUEST: [[fallthrough]]
+	case Genode::Cpu_state::INTERRUPT_REQUEST: [[fallthrough]];
 	case Genode::Cpu_state::FAST_INTERRUPT_REQUEST:
 		_interrupt(cpu.id());
 		return;