70d6dae1e2
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1295 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
39 lines
1.3 KiB
C++
39 lines
1.3 KiB
C++
#ifndef __FAIL_CONFIG_HPP__
|
|
#define __FAIL_CONFIG_HPP__
|
|
|
|
// #define / #undef the following configuration macros to enable/disable the
|
|
// various event sources, fault injection sinks, and miscellaneous other
|
|
// features.
|
|
|
|
// Event sources
|
|
#cmakedefine CONFIG_EVENT_BREAKPOINTS
|
|
#cmakedefine CONFIG_EVENT_MEMREAD
|
|
#cmakedefine CONFIG_EVENT_MEMWRITE
|
|
#cmakedefine CONFIG_EVENT_GUESTSYS
|
|
#cmakedefine CONFIG_EVENT_IOPORT
|
|
#cmakedefine CONFIG_EVENT_INTERRUPT
|
|
#cmakedefine CONFIG_EVENT_TRAP
|
|
#cmakedefine CONFIG_EVENT_JUMP
|
|
|
|
// Save/restore functionality
|
|
#cmakedefine CONFIG_SR_RESTORE
|
|
#cmakedefine CONFIG_SR_SAVE
|
|
#cmakedefine CONFIG_SR_REBOOT
|
|
|
|
// Fail configuration
|
|
#cmakedefine CONFIG_STFU
|
|
#cmakedefine CONFIG_SUPPRESS_INTERRUPTS
|
|
#cmakedefine CONFIG_FIRE_INTERRUPTS
|
|
#cmakedefine CONFIG_DISABLE_KEYB_INTERRUPTS
|
|
#cmakedefine SERVER_PERFORMANCE_MEASURE
|
|
#cmakedefine SERVER_PERF_LOG_PATH "@SERVER_PERF_LOG_PATH@"
|
|
#cmakedefine SERVER_PERF_STEPPING_SEC @SERVER_PERF_STEPPING_SEC@
|
|
#cmakedefine CLIENT_RAND_BACKOFF_TSTART @CLIENT_RAND_BACKOFF_TSTART@
|
|
#cmakedefine CLIENT_RAND_BACKOFF_TEND @CLIENT_RAND_BACKOFF_TEND@
|
|
#cmakedefine CLIENT_RETRY_COUNT @CLIENT_RETRY_COUNT@
|
|
|
|
// Fault injection
|
|
#cmakedefine CONFIG_FI_MEM_ACCESS_BITFLIP
|
|
|
|
#endif /* __FAIL_CONFIG_HPP__ */
|