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
Bjoern Doebel