portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix: move seL4_LogBufferSize to the correct file

Browse source
This commit is contained in:
Hesham Almatary 2016-05-25 13:48:43 +10:00
parent fc1feb670e
commit 9ec83284c4
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
libsel4/arch_include/arm/sel4/arch/constants.h
View file

@ -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

5
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
View file

@ -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