Bjoern Doebel ed772429f9 L4Sys: fix use of L4SYS_NUMINSTR ...

* L4SYS_NUMINSTR counts the instructions that were selected for
  injection and is used by the campaign server to generate experiments
* L4SYS_TOTINSTR counts the total number of instructions executed.
  It is used by the experiment to determine the timeout value.

Change-Id: Ibf37aea2a1f5ad5afad2b1232ce22fe070b08490

2013-08-09 14:59:45 +02:00

..

l4sys-prepare.sh

L4Sys: fix use of L4SYS_NUMINSTR

2013-08-09 14:59:45 +02:00