christoph/fail
1
Fork 0
Code Actions Packages Releases Activity
863 Commits 1 Branch 2 Tags
f33789b1ac2a67c8e3ac66196eda587b6bf96851
Commit Graph
10 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Bjoern Doebel 1ca9cb4a52 L4Sys: adapt to DatabaseCampaign 
Change-Id: Ia4912e7a74afccb51f6d704830a2d9c5b5c0159a
 2013-08-30 16:06:15 +02:00
Bjoern Doebel 045c08faf6 l4sys script: remove dbg option 
Change-Id: Ica13735ba04b7ae79fde6fb1462ca8200694b278
 2013-08-30 16:05:21 +02:00
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
Bjoern Doebel 2c35ac6235 RangeFilter: make boundaries inclusive 
Change-Id: Iecf7de565053bcd99a19a02722adcef458f5550b
 2013-08-09 14:57:20 +02:00
Bjoern Doebel 5364cfefaa typo... 
Change-Id: Ic23a74c429b5b441a85d9e3933f2f9829bc679f9
 2013-08-08 17:01:05 +02:00
Bjoern Doebel f8e31445ce L4Sys: add a script to automate experiment setup 
Change-Id: I1f5770bbbc75a6498182e8b357756c48cc81dfa2
 2013-08-08 16:57:11 +02:00
Bjoern Doebel 36afe76d33 Add protected white space 
Change-Id: I49d393fc53ca22822c7f0d7f044d4383f7207e90
 2013-08-08 13:48:34 +02:00
Bjoern Doebel b8d41f73fc Adjust L4Sys Manual 
- some more details on the requires experiment steps
- wording and layout fixes

Change-Id: I62b7b1cd5e2d5e746a8e8184349e465afcd2e7ff
 2013-08-08 13:45:46 +02:00
Bjoern Doebel 8724ff7cb4 Extend L4-Sys manual 
* mention how to obtain an L4Re setup
* describe finding the address space identifier in more detail

Change-Id: If56bfa255d498106920f39a7380b97306a8731c8
 2013-08-07 16:04:17 +02:00
Bjoern Doebel 31f4117e4b Fiasco.OC bochsrc example 
Add an example bochsrc to run Fiasco.OC.
 2013-02-23 03:57:34 +01:00