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

Benchmarks: Add definition of seL4_LogBufferSize to x86

Browse source 
Updates SELFOUR-446
This commit is contained in:
Hesham Almatary 2016-04-27 12:07:46 +10:00
parent dd5d5d7764
commit e7c6140cf0
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -45,4 +45,9 @@
#define seL4_WordBits (sizeof(seL4_Word) * 8)
#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