christoph/fail
1
Fork 0
Code Releases Activity

ecos: removed configuration checks

Browse Source 
Change-Id: I5df0b5f3435f3f695ba1ab9ca624dfa238509e46
This commit is contained in:
Horst Schirmeier
2013-06-25 14:18:50 +02:00
parent 27f1f77524
commit 66ecedd864
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