From 9ec83284c409c74cd1ee74f2cd2c69bb463b9d5f Mon Sep 17 00:00:00 2001
From: Hesham Almatary <Hesham.Almatary@nicta.com.au>
Date: Wed, 25 May 2016 13:48:43 +1000
Subject: [PATCH] Fix: move seL4_LogBufferSize to the correct file

---
 libsel4/arch_include/arm/sel4/arch/constants.h               | 5 -----
 libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h | 5 +++++
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/libsel4/arch_include/arm/sel4/arch/constants.h b/libsel4/arch_include/arm/sel4/arch/constants.h
index b657be3fc..8237fadc9 100644
--- a/libsel4/arch_include/arm/sel4/arch/constants.h
+++ b/libsel4/arch_include/arm/sel4/arch/constants.h
@@ -16,9 +16,4 @@
 #include <sel4/sel4_arch/objecttype.h>
 #include <sel4/arch/objecttype.h>
 
-#if CONFIG_MAX_NUM_TRACE_POINTS > 0
-/* size of kernel log buffer in bytes */
-#define seL4_LogBufferSize (LIBSEL4_BIT(20))
-#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
-
 #endif
diff --git a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
index e43789aed..4d3150ea0 100644
--- a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
+++ b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
@@ -28,4 +28,9 @@ enum {
 /* word size */
 #define seL4_WordBits (sizeof(seL4_Word) * 8)
 
+#ifdef CONFIG_ENABLE_BENCHMARKS
+/* size of kernel log buffer in bytes */
+#define seL4_LogBufferSize (LIBSEL4_BIT(20))
+#endif /* CONFIG_ENABLE_BENCHMARKS */
+
 #endif