From fb68284d8b09876120e0b805d3382b6e72ccec3b Mon Sep 17 00:00:00 2001
From: Oliver Scott <Oliver.Scott@data61.csiro.au>
Date: Thu, 5 Nov 2020 17:59:59 +1100
Subject: [PATCH] trivial: fix missed header related to tk1

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
---
 camkes/templates/component.simple.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/camkes/templates/component.simple.c b/camkes/templates/component.simple.c
index ba74a9ca..a078e662 100644
--- a/camkes/templates/component.simple.c
+++ b/camkes/templates/component.simple.c
@@ -352,7 +352,7 @@ static seL4_Error simple_camkes_get_iospace(void *data, uint16_t domainID, uint1
 }
 #endif
 
-#ifdef CONFIG_ARM_SMMU
+#ifdef CONFIG_TK1_SMMU
 static seL4_Error simple_camkes_get_iospace_cap_count(void *data, int *count) {
     if (count) {
         *count = /*? len(iospaces) ?*/;