christoph/fail
1
Fork 0
Code Releases Activity

Merge "ecos: removed configuration checks"

Browse Source
This commit is contained in:
Horst Schirmeier
2013-07-04 10:37:11 +02:00
committed by Gerrit Code Review
parent f67b3c8e00 66ecedd864
commit a7854f3dcb
1 changed files with 0 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/experiments/ecos_kernel_test/experiment.cc
View File

@ -42,22 +42,6 @@
using namespace std;
using namespace fail;
// Check if configuration dependencies are satisfied:
#if PREREQUISITES == 1
#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_RESTORE) || \
!defined(CONFIG_SR_SAVE) || !defined(CONFIG_EVENT_GUESTSYS) || \
!defined(CONFIG_SR_REBOOT) || !defined(CONFIG_EVENT_MEMREAD) || \
!defined(CONFIG_EVENT_MEMWRITE) // -> tracing plugin
#error This experiment needs: breakpoints, save, restore, memread, memwrite, reboot and guest.
#endif
#else
#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_RESTORE) || \
!defined(CONFIG_EVENT_TRAP) || !defined(CONFIG_EVENT_MEMREAD) || \
!defined(CONFIG_EVENT_MEMWRITE) || !defined(CONFIG_EVENT_BREAKPOINTS_RANGE)
#error This experiment needs: breakpoints (+range), traps, memread, memwrite and restore.
#endif
#endif
#if PREREQUISITES
bool EcosKernelTestExperiment::retrieveGuestAddresses(guest_address_t addr_finish, guest_address_t addr_data_start, guest_address_t addr_data_end) {
#if BASELINE_ASSESSMENT || STACKPROTECTION