logs/nul_2011-10-26_23:00:01.log

   1 HEAD is now at ea18736 wvtest doc: Mention '#' prefix
   2 Testing "Wednesday 2011-10-26 23:00:11, commit: passive-2011.7-democd-237-g8f67628 (Michal Sojka: novaboot: Add -I option (shortcut for the most used options))" in /home/sojka/bin/nul-nightly.sh:
   3 scons: Reading SConscript files ...
   4 Target CC forced to '/usr/local/gcc/4.6/bin/gcc'.
   5 Target CXX forced to '/usr/local/gcc/4.6/bin/g++'.
   6 Installing into /srv/tftp. Use scons tftp=/foo to change this.
   7 scons: done reading SConscript files.
   8 scons: Building targets ...
   9         CXX apps/admission/main.o
  10         CXX lib/runtime/capalloc.o
  11         AR  bin/lib/libruntime.a
  12         LIB bin/lib/libruntime.a
  13         LNK bin/apps/admission.nul.debug
  14    text    data     bss     dec     hex filename
  15   18914    5152  868352  892418   d9e02 bin/apps/admission.nul
  16         CXX apps/bridge/bridge.o
  17         LNK bin/apps/bridge.nul.debug
  18    text    data     bss     dec     hex filename
  19   11677    4768 4259840 4276285  41403d bin/apps/bridge.nul
  20         CXX apps/cycleburner/cycleburner.o
  21         LNK bin/apps/cycleburner.nul.debug
  22    text    data     bss     dec     hex filename
  23    8208    3208  606208  617624   96c98 bin/apps/cycleburner.nul
  24         CXX apps/diskbench/diskbench.o
  25         LNK bin/apps/diskbench.nul.debug
  26    text    data     bss     dec     hex filename
  27    9180    3708 4325376 4338264  423258 bin/apps/diskbench.nul
  28         CXX apps/fs_test/main.o
  29         LNK bin/apps/dummy_fs.nul.debug
  30    text    data     bss     dec     hex filename
  31    9828    3640 1114112 1127580  11349c bin/apps/dummy_fs.nul
  32         CXX apps/echo/echo.o
  33         LNK bin/apps/echo.nul.debug
  34    text    data     bss     dec     hex filename
  35    8170    2956 4259840 4270966  412b76 bin/apps/echo.nul
  36         CXX apps/echo/echo2.o
  37         LNK bin/apps/echo2.nul.debug
  38    text    data     bss     dec     hex filename
  39   10936    3736 4259840 4274512  413950 bin/apps/echo2.nul
  40         CXX apps/echo/echo2ss.o
  41         LNK bin/apps/echo2ss.nul.debug
  42    text    data     bss     dec     hex filename
  43   11050    4024 4259840 4274914  413ae2 bin/apps/echo2ss.nul
  44         CXX apps/echo/echo2test.o
  45         LNK bin/apps/echo2test.nul.debug
  46    text    data     bss     dec     hex filename
  47    7032    2556 4259840 4269428  412574 bin/apps/echo2test.nul
  48         CXX apps/echo/echotest.o
  49         LNK bin/apps/echotest.nul.debug
  50    text    data     bss     dec     hex filename
  51    6850    2524 4259840 4269214  41249e bin/apps/echotest.nul
  52         CXX apps/gt/gt.o
  53         LNK bin/apps/gt.nul.debug
  54    text    data     bss     dec     hex filename
  55    5474    1988 8400896 8408358  804d26 bin/apps/gt.nul
  56         CXX apps/hello/hello.o
  57         LNK bin/apps/hello.nul.debug
  58    text    data     bss     dec     hex filename
  59    5732    2168  131072  138972   21edc bin/apps/hello.nul
  60 make -sC `dirname contrib/nova/build/hypervisor` CC=/usr/local/gcc/4.6/bin/gcc CXX=/usr/local/gcc/4.6/bin/g++
  61         CXX apps/packetdump/packetdump.o
  62 /home/sojka/nul/julian/include/nul/service_bridge.h: In member function 'unsigned int BridgeProtocol::wait_packet(uint8*&)':
  63 /home/sojka/nul/julian/include/nul/service_bridge.h:169:27: warning: ignoring return value of 'unsigned char nova_semdown(unsigned int)', declared with attribute warn_unused_result [-Wunused-result]
  64         LNK bin/apps/packetdump.nul.debug
  65    text    data     bss     dec     hex filename
  66    7056    2832 1114112 1124000  1126a0 bin/apps/packetdump.nul
  67         CXX apps/per-cpu-service/per-cpu-service.o
  68         LNK bin/apps/per-cpu-service.nul.debug
  69    text    data     bss     dec     hex filename
  70    9982    4548 8458240 8472770  8148c2 bin/apps/per-cpu-service.nul
  71         CXX apps/remoteconfig/main.o
  72 /home/sojka/nul/alexb/apps/remoteconfig/main.cc: In static member function 'static void ab::RemoteConfig::recv_call_back(uint16, void*, size_t)':
  73 /home/sojka/nul/alexb/apps/remoteconfig/main.cc:95:17: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
  74         CXX apps/remoteconfig/server.o
  75         CXX apps/remoteconfig/events.o
  76         CXX lib/matrixssl/own/sys.o
  77         AR  bin/lib/libssl_matrix.a
  78         LIB bin/lib/libssl_matrix.a
  79         LNK bin/apps/remote_config.nul.debug
  80    text    data     bss     dec     hex filename
  81  111151   26836 2179072 2317059  235b03 bin/apps/remote_config.nul
  82         CXX apps/rocknshine/rocknshine.o
  83         CXX service/help.o
  84         CXX service/hostsink.o
  85         CXX service/kbd2serial.o
  86         CXX service/serial2kbd.o
  87         CXX service/simplearping.o
  88         CXX service/simplebootp.o
  89         AR  bin/lib/libservice.a
  90         LIB bin/lib/libservice.a
  91         LNK bin/apps/rocknshine.nul.debug
  92    text    data     bss     dec     hex filename
  93   15173    6584  131072  152829   254fd bin/apps/rocknshine.nul
  94         CXX apps/sigma0/scripting.o
  95         CXX apps/sigma0/service_config.o
  96         CXX apps/sigma0/service_fs.o
  97         CXX apps/sigma0/service_per_cpu_timer.o
  98         CXX apps/sigma0/service_timer.o
  99         CXX apps/sigma0/service_tracebuffer.o
 100         CXX apps/sigma0/service_vnet.o
 101 /home/sojka/nul/julian/apps/sigma0/service_vnet.cc:725:2: warning: #warning XXX offloads broken when packet spread over multiple RX descriptors [-Wcpp]
 102         CXX apps/sigma0/sigma0.o
 103         CXX host/hostvesa.o
 104         CXX model/memorycontroller.o
 105         CXX model/vcpu.o
 106         CXX executor/halifax.o
 107         CXX model/pit8254.o
 108         CXX model/sysctrlport.o
 109         CXX model/pcihostbridge.o
 110         CXX model/pcidirect.o
 111         CXX model/directio.o
 112         AR  bin/lib/libhostvesa.a
 113         LIB bin/lib/libhostvesa.a
 114         CXX host/atare.o
 115         CXX host/host82573.o
 116         CXX host/host82576.o
 117         CXX host/host82576vf.o
 118         CXX host/hostacpi.o
 119         CXX host/hostahci.o
 120         CXX host/hosthpet.o
 121         CXX host/hostide.o
 122         CXX host/hostio.o
 123         CXX host/hostkeyboard.o
 124         CXX host/hostne2k.o
 125         CXX host/hostne2k_vnet.o
 126         CXX host/hostpcicfg.o
 127         CXX host/hostpit.o
 128         CXX host/hostreboot.o
 129         CXX host/hostrtc.o
 130         CXX host/hostserial.o
 131         CXX host/hostserialpci.o
 132         CXX host/hostvga.o
 133         CXX host/jsdriver.o
 134         CXX host/mmconfig.o
 135         CXX host/nubus-bus.o
 136         CXX host/nubus-device.o
 137         CXX host/nubus.o
 138         CXX host/virtualdisk.o
 139         AR  bin/lib/libhost.a
 140         LIB bin/lib/libhost.a
 141         LNK bin/apps/sigma0.bare.nul.debug
 142    text    data     bss     dec     hex filename
 143  221068  172048       0  393116   5ff9c bin/apps/sigma0.bare.nul
 144 objcopy --add-section .boot.`basename /home/sojka/nul/base/apps/sigma0/cfg/admission.nulconfig`=/home/sojka/nul/base/apps/sigma0/cfg/admission.nulconfig bin/apps/sigma0.bare.nul bin/apps/sigma0.nul
 145 objcopy --add-section .boot.`basename bin/apps/admission.nul`=bin/apps/admission.nul bin/apps/sigma0.nul bin/apps/sigma0.nul
 146 gzip -c bin/apps/sigma0.nul > bin/apps/sigma0.nul.gz
 147         CXX apps/config_test/main.o
 148         LNK bin/apps/test_config.nul.debug
 149    text    data     bss     dec     hex filename
 150    7169    2688 1114112 1123969  112681 bin/apps/test_config.nul
 151         CXX apps/event_test/main.o
 152         LNK bin/apps/test_events.nul.debug
 153    text    data     bss     dec     hex filename
 154    6506    2400 1114112 1123018  1122ca bin/apps/test_events.nul
 155         CXX apps/ip_test/main.o
 156         LNK bin/apps/test_ip.nul.debug
 157    text    data     bss     dec     hex filename
 158   43055   10200 1126400 1179655  120007 bin/apps/test_ip.nul
 159         CXX apps/ip_test_vnet/main.o
 160         LNK bin/apps/test_ip_vnet.nul.debug
 161    text    data     bss     dec     hex filename
 162   44165   10544 1126400 1181109  1205b5 bin/apps/test_ip_vnet.nul
 163         CXX apps/ipc_test/main.o
 164         LNK bin/apps/test_ipc.nul.debug
 165    text    data     bss     dec     hex filename
 166    8168    3456 1114112 1125736  112d68 bin/apps/test_ipc.nul
 167         CXX apps/tests/timer.o
 168         LNK bin/apps/timer.nul.debug
 169    text    data     bss     dec     hex filename
 170    7971    2896 4259840 4270707  412a73 bin/apps/timer.nul
 171         CXX apps/tutor/tutor.o
 172         LNK bin/apps/tutor.nul.debug
 173    text    data     bss     dec     hex filename
 174   15176    2492  131072  148740   24504 bin/apps/tutor.nul
 175         CXX apps/vancouver/vancouver.o
 176         AR  bin/lib/libhostkbd.a
 177         LIB bin/lib/libhostkbd.a
 178         CXX executor/vbios_disk.o
 179         CXX executor/vbios_keyboard.o
 180         CXX executor/vbios_mem.o
 181         CXX executor/vbios_multiboot.o
 182         CXX executor/vbios_reset.o
 183         CXX executor/vbios_time.o
 184         AR  bin/lib/libexecutor.a
 185         LIB bin/lib/libexecutor.a
 186         CXX model/82576vf.o
 187         CXX model/82576vf_vnet.o
 188         CXX model/ahcicontroller.o
 189         CXX model/directmem.o
 190         CXX model/ioapic.o
 191         CXX model/irqrouting.o
 192         CXX model/keyboardcontroller.o
 193         CXX model/lapic.o
 194         CXX model/msi.o
 195         CXX model/nullio.o
 196         CXX model/nullmem.o
 197         CXX model/pic8259.o
 198         CXX model/pmtimer.o
 199         CXX model/ps2keyboard.o
 200         CXX model/ps2mouse.o
 201         CXX model/rtc146818.o
 202         CXX model/rtl8029.o
 203         CXX model/rtl8029_vnet.o
 204         CXX model/satadrive.o
 205         CXX model/serial16550.o
 206         CXX model/vbios.o
 207         CXX model/vga.o
 208         AR  bin/lib/libmodel.a
 209         LIB bin/lib/libmodel.a
 210         LNK bin/apps/vancouver.nul.debug
 211    text    data     bss     dec     hex filename
 212  188533   42612 2162688 2393833  2486e9 bin/apps/vancouver.nul
 213         CXX wvtest/wvtesttest.o
 214         LNK bin/apps/wvtesttest.nul.debug
 215    text    data     bss     dec     hex filename
 216    7352    2628  131072  141052   226fc bin/apps/wvtesttest.nul
 217 scons: `bin/boot' is up to date.
 218 scons: done building targets.
 219 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/julian/apps/per-cpu-service/per-cpu-service.wv --server --iprelay
 220 novaboot: Entering directory `/home/sojka/nul/build'
 221 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/per-cpu-service.nul bin/apps/per-cpu-service.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 222 Testing "all" in /home/sojka/nul/julian/apps/per-cpu-service/per-cpu-service.wv:
 223 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 224 s0: map self 3c0000 -> 0 size 20000 offset 0 s 0 typed 1\r
 225         => script_start:1,1 <=\r
 226         => script_waitchild <=\r
 227         => hostkeyb:0,0x60,1,12,2 <=\r
 228 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 229 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 230 sc: start 0-1 count 1\r
 231 s0: [ 5] module 'namespace::/s0 name::/s0/admission name::/s0/pcpus namespace::/s0 name::/s0/log ||' \\r
 232 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/per-cpu-service.nul'\r
 233 s0: map self bec00000 -> b6800000 size c00000 offset 0 s 0 typed 3\r
 234 s0: [ 5] using memory: 8 MB (816000) at bec00000\r
 235 s0: [ 5] creating PD on CPU 1\r
 236 kb: receive() failed at 325 -- buggy keyboard?\r
 237 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 238 s0: ... ' embedded://admission.nul top '\r
 239 s0: map self be800000 -> b6700000 size 100000 offset 0 s 0 typed 1\r
 240 s0: [ 1] using memory: 0 MB (db000) at be800000\r
 241 s0: [ 1] creating PD on CPU 2\r
 242 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 243 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 244 s0: [ 5, 2140e] pagefault 48/0 for 800026cd err 4 at 800026cd\r
 245 sc: wait for child 5\r
 246 s0:     => INIT done <=\r
 247 \r
 248 s0: [ 5, 2140e] map 48/5 for 800026cd err 4 at 800026cd\r
 249 tb: client data 1f000 guid 5 parent 5b6\r
 250 (5) New session object allocated: 0x80804fc0  \r
 251 (5) Next...  \r
 252 (5) call cycles 344  \r
 253 (5) ! julian/apps/per-cpu-service/per-cpu-service.cc:84 "Done"  ok  \r
 254 sc: done.\r
 255 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 256 + set +x
 257 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/echo/echo2sstest.wv --server --iprelay
 258 novaboot: Entering directory `/home/sojka/nul/build'
 259 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/echo2ss.nul echo.nulconfig bin/apps/echo2test.nul echotest.nulconfig echotest2.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 260 Testing "Echo service based on SSession" in /home/sojka/nul/michal/apps/echo/echo2sstest.wv:
 261 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 262         => verbose <=\r
 263         => hostkeyb:0,0x60,1,12,2 <=\r
 264 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 265 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 266         => script <=\r
 267         => script_start:1 <=\r
 268         => script_start:2 <=\r
 269         => script_waitchild <=\r
 270         => script_start:3 <=\r
 271         => script_waitchild <=\r
 272 kb: receive() failed at 325 -- buggy keyboard?\r
 273 sc: start 0-1 count 1\r
 274 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \\r
 275 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2ss.nul'\r
 276 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3\r
 277 s0: [ 5] using memory: 16 MB (1000000) at be400000\r
 278 s0: [ 5] creating PD on CPU 1\r
 279 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 280 s0: ... ' embedded://admission.nul top '\r
 281 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1\r
 282 s0: [ 1] using memory: 0 MB (db000) at be000000\r
 283 s0: [ 1] creating PD on CPU 2\r
 284 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 285 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 286 s0: [ 5, 2140e] pagefault 48/0 for 80002ad9 err 4 at 80002ad9\r
 287 sc: start 1-1 count 1\r
 288 s0:     => INIT done <=\r
 289 \r
 290 s0: [ 5, 2140e] map 48/5 for 80002ad9 err 4 at 80002ad9\r
 291 s0: [ 6] module 'tb: client data 1f000 guid 5 parent 5b6\r
 292 s(5) Constructing service /echo...  \r
 293 i(5) Service /echo registered.  \r
 294 gma0::mem:16 sigma0::cpu:0 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \\r
 295 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'\r
 296 s0: map self bd000000 -> b5000000 size 1000000 offset 0 s 0 typed 1\r
 297 s0: [ 6] using memory: 16 MB (1000000) at bd000000\r
 298 s0: [ 6] creating PD on CPU 0\r
 299 sc: wait for child 6\r
 300 s0: [ 6, 2180e] pagefault 48/0 for 80001b51 err 4 at 80001b51\r
 301 s0: [ 6, 2180e] map 48/2 for 80001b51 err 4 at 80001b51\r
 302 (5) Cannot get client (id=0x0) data: 0x105  \r
 303 (5) echo: Client 0x426 sent us a value 42  \r
 304 tb: client data 1f002 guid 6 parent 5b3\r
 305 (6) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  \r
 306 (6) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  \r
 307 sc: start 2-1 count 1\r
 308 s0: [ 7] module 'sigma0::mem:16 sigma0::cpu:1 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \\r
 309 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'\r
 310 s0: map self bc000000 -> b4000000 size 1000000 offset 0 s 0 typed 1\r
 311 s0: [ 7] using memory: 16 MB (1000000) at bc000000\r
 312 s0: [ 7] creating PD on CPU 1\r
 313 s0: [ 7, 21c0e] pagefault 48/0 for 80001b51 err 4 at 80001b51\r
 314 sc: wait for child 7\r
 315 s0: [ 7, 21c0e] map 48/2 for 80001b51 err 4 at 80001b51\r
 316 (5) Cannot get client (id=0x0) data: 0x105  \r
 317 (5) echo: Client 0x427 sent us a value 42  \r
 318 tb: client data 1f004 guid 7 parent 1f001\r
 319 (7) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  \r
 320 (7) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  \r
 321 sc: done.\r
 322 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 323 + set +x
 324 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/echo/echo2test.wv --server --iprelay
 325 novaboot: Entering directory `/home/sojka/nul/build'
 326 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/echo2.nul echo.nulconfig bin/apps/echo2test.nul echotest.nulconfig echotest2.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 327 Testing "Echo service with sessions" in /home/sojka/nul/michal/apps/echo/echo2test.wv:
 328 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 329         => verbose <=\r
 330         => hostkeyb:0,0x60,1,12,2 <=\r
 331 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 332 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 333         => script <=\r
 334         => script_start:1 <=\r
 335         => script_start:2 <=\r
 336         => script_waitchild <=\r
 337         => script_start:3 <=\r
 338         => script_waitchild <=\r
 339 kb: receive() failed at 325 -- buggy keyboard?\r
 340 sc: start 0-1 count 1\r
 341 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \\r
 342 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2.nul'\r
 343 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3\r
 344 s0: [ 5] using memory: 16 MB (1000000) at be400000\r
 345 s0: [ 5] creating PD on CPU 1\r
 346 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 347 s0: ... ' embedded://admission.nul top '\r
 348 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1\r
 349 s0: [ 1] using memory: 0 MB (db000) at be000000\r
 350 s0: [ 1] creating PD on CPU 2\r
 351 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 352 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 353 s0: [ 5, 2140e] pagefault 48/0 for 80002a69 err 4 at 80002a69\r
 354 sc: start 1-1 count 1\r
 355 s0:     => INIT done <=\r
 356 \r
 357 s0: [ 5, 2140e] map 48/5 for 80002a69 err 4 at 80002a69\r
 358 s0: [ 6] module 'sigma0::mem:16 sigma0::cpu:0 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \\r
 359 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'\r
 360 s0: map self bd000000 -> b5000000 size 1000000 offset 0 s 0 typed 1\r
 361 s0: [ 6] using memory: 16 MB (1000000) at bd000000\r
 362 s0: [ 6] creating PD on CPU 0\r
 363 sc: wait for child 6\r
 364 s0: [ 6, 2180e] pagefault 48/0 for 80001b51 err 4 at 80001b51\r
 365 s0: [ 6, 2180e] map 48/2 for 80001b51 err 4 at 80001b51\r
 366 tb: client data 1f000 guid 5 parent 5b3\r
 367 (5) EchoProtocol::TYPE_ECHO  \r
 368 (5) Cannot get client (id=0x0) data: 0x105  \r
 369 (5) ParentProtocol::TYPE_OPEN  \r
 370 (5) ----- created echo client pseudonym=0x420 identity=0x4a6  \r
 371 (5) EchoProtocol::TYPE_ECHO  \r
 372 (5) echo: Client 0x4a6 sent us a value 42  \r
 373 tb: client data 1f002 guid 6 parent 1f001\r
 374 (6) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  \r
 375 (5) EchoProtocol::TYPE_GET_LAST  \r
 376 (6) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  \r
 377 sc: start 2-1 count 1\r
 378 s0: [ 7] module 'sigma0::mem:16 sigma0::cpu:1 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \\r
 379 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'\r
 380 s0: map self bc000000 -> b4000000 size 1000000 offset 0 s 0 typed 1\r
 381 s0: [ 7] using memory: 16 MB (1000000) at bc000000\r
 382 s0: [ 7] creating PD on CPU 1\r
 383 s0: [ 7, 21c0e] pagefault 48/0 for 80001b51 err 4 at 80001b51\r
 384 sc: wait for child 7\r
 385 s0: [ 7, 21c0e] map 48/2 for 80001b51 err 4 at 80001b51\r
 386 (5) EchoProtocol::TYPE_ECHO  \r
 387 (5) Cannot get client (id=0x0) data: 0x105  \r
 388 (5) ParentProtocol::TYPE_OPEN  \r
 389 (5) ----- created echo client pseudonym=0x433 identity=0x4a8  \r
 390 (5) EchoProtocol::TYPE_ECHO  \r
 391 (5) echo: Client 0x4a8 sent us a value 42  \r
 392 tb: client data 1f004 guid 7 parent 5b6\r
 393 (7) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  \r
 394 (5) EchoProtocol::TYPE_GET_LAST  \r
 395 (7) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  \r
 396 sc: done.\r
 397 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 398 + set +x
 399 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/echo/echotest.wv --server --iprelay
 400 novaboot: Entering directory `/home/sojka/nul/build'
 401 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/echo.nul echo.nulconfig bin/apps/echotest.nul echotest.nulconfig echotest2.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 402 Testing "Simple echo service" in /home/sojka/nul/michal/apps/echo/echotest.wv:
 403 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 404         => verbose <=\r
 405         => hostkeyb:0,0x60,1,12,2 <=\r
 406 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 407 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 408         => script <=\r
 409         => script_start:1 <=\r
 410         => script_start:2 <=\r
 411         => script_waitchild <=\r
 412         => script_start:3 <=\r
 413         => script_waitchild <=\r
 414 kb: receive() failed at 325 -- buggy keyboard?\r
 415 sc: start 0-1 count 1\r
 416 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \\r
 417 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo.nul'\r
 418 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3\r
 419 s0: [ 5] using memory: 16 MB (1000000) at be400000\r
 420 s0: [ 5] creating PD on CPU 1\r
 421 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 422 s0: ... ' embedded://admission.nul top '\r
 423 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1\r
 424 s0: [ 1] using memory: 0 MB (db000) at be000000\r
 425 s0: [ 1] creating PD on CPU 2\r
 426 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 427 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 428 s0: [ 5, 2140e] pagefault 48/0 for 80001fbb err 4 at 80001fbb\r
 429 sc: start 1-1 count 1\r
 430 s0:     => INIT done <=\r
 431 \r
 432 s0: [ 5, 2140e] map 48/5 for 80001fbb err 4 at 80001fbb\r
 433 s0: [ 6] module 'tb: client data 1f000 guid 5 parent 5b6\r
 434 s(5) Echo service successfully started  \r
 435 igma0::mem:16 sigma0::cpu:0 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \\r
 436 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echotest.nul'\r
 437 s0: map self bd000000 -> b5000000 size 1000000 offset 0 s 0 typed 1\r
 438 s0: [ 6] using memory: 16 MB (1000000) at bd000000\r
 439 s0: [ 6] creating PD on CPU 0\r
 440 sc: wait for child 6\r
 441 s0: [ 6, 2180e] pagefault 48/0 for 80001a9b err 4 at 80001a9b\r
 442 s0: [ 6, 2180e] map 48/2 for 80001a9b err 4 at 80001a9b\r
 443 (5) echo: Client 0x0 sent us a value 42  \r
 444 tb: client data 1f002 guid 6 parent 5b3\r
 445 (6) ! michal/apps/echo/echotest.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  \r
 446 sc: start 2-1 count 1\r
 447 s0: [ 7] module 'sigma0::mem:16 sigma0::cpu:1 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \\r
 448 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echotest.nul'\r
 449 s0: map self bc000000 -> b4000000 size 1000000 offset 0 s 0 typed 1\r
 450 s0: [ 7] using memory: 16 MB (1000000) at bc000000\r
 451 s0: [ 7] creating PD on CPU 1\r
 452 s0: [ 7, 21c0e] pagefault 48/0 for 80001a9b err 4 at 80001a9b\r
 453 sc: wait for child 7\r
 454 s0: [ 7, 21c0e] map 48/2 for 80001a9b err 4 at 80001a9b\r
 455 (5) echo: Client 0x0 sent us a value 42  \r
 456 tb: client data 1f004 guid 7 parent 1f001\r
 457 (7) ! michal/apps/echo/echotest.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  \r
 458 sc: done.\r
 459 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 460 + set +x
 461 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/tests/timer.wv --server --iprelay
 462 novaboot: Entering directory `/home/sojka/nul/build'
 463 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/timer.nul bin/apps/timer.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 464 Testing "all" in /home/sojka/nul/michal/apps/tests/timer.wv:
 465 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 466         => verbose <=\r
 467         => hostkeyb:0,0x60,1,12,2 <=\r
 468 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 469 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 470         => script_start:1 <=\r
 471         => script_waitchild <=\r
 472 sc: start 0-1 count 1\r
 473 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \\r
 474 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/timer.nul'\r
 475 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3\r
 476 s0: [ 5] using memory: 16 MB (1000000) at be400000\r
 477 s0: [ 5] creating PD on CPU 1\r
 478 kb: receive() failed at 325 -- buggy keyboard?\r
 479 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 480 s0: ... ' embedded://admission.nul top '\r
 481 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1\r
 482 s0: [ 1] using memory: 0 MB (db000) at be000000\r
 483 s0: [ 1] creating PD on CPU 2\r
 484 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 485 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 486 s0: [ 5, 2140e] pagefault 48/0 for 80001de9 err 4 at 80001de9\r
 487 sc: wait for child 5\r
 488 s0:     => INIT done <=\r
 489 \r
 490 s0: [ 5, 2140e] map 48/5 for 80001de9 err 4 at 80001de9\r
 491 tb: client data 1f000 guid 5 parent 5b6\r
 492 (5) source freq 2666779000  \r
 493 (5) ! michal/apps/tests/timer.cc:31 clock  ok  \r
 494 (5) ! michal/apps/tests/timer.cc:32 timer_service  ok  \r
 495 (5) ! michal/apps/tests/timer.cc:38 timer_service->timer(*utcb, msg)  ok  \r
 496 (5) ! michal/apps/tests/timer.cc:45 sleep_time_ms >= 100  ok  \r
 497 sc: done.\r
 498 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 499 + set +x
 500 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/boot/diskbench-ramdisk.wv --server --iprelay
 501 novaboot: Entering directory `/home/sojka/nul/build'
 502 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/diskbench.nul diskbench.nulconfig diskbench.img | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 503 Testing "all" in /home/sojka/nul/michal/boot/diskbench-ramdisk.wv:
 504 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 505         => verbose <=\r
 506         => hostkeyb:0,0x60,1,12,2 <=\r
 507 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 508 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 509         => vdisk:rom://(nd)/tftpboot/sojka/novaboot/diskbench.img <=\r
 510 vdisk: Opened '(nd)/tftpboot/sojka/novaboot/diskbench.img' 0x201 bytes.\r
 511 vdisk: Attached as vdisk 0.\r
 512         => script_start:1 <=\r
 513         => script_waitchild <=\r
 514 sc: start 0-1 count 1\r
 515 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission sigma0::drive:0 ||' \\r
 516 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/diskbench.nul wvtest lorem_ipsum'\r
 517 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3\r
 518 s0: [ 5] using memory: 16 MB (1000000) at be400000\r
 519 s0: [ 5] creating PD on CPU 1\r
 520 kb: receive() failed at 325 -- buggy keyboard?\r
 521 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 522 s0: ... ' embedded://admission.nul top '\r
 523 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1\r
 524 s0: [ 1] using memory: 0 MB (db000) at be000000\r
 525 s0: [ 1] creating PD on CPU 2\r
 526 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 527 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 528 s0: [ 5, 2140e] pagefault 48/0 for 80002297 err 4 at 80002297\r
 529 sc: wait for child 5\r
 530 s0:     => INIT done <=\r
 531 \r
 532 s0: [ 5, 2140e] map 48/5 for 80002297 err 4 at 80002297\r
 533 tb: client data 1f000 guid 5 parent 5b6\r
 534 (5) Benchmark up and running  \r
 535 (5) source freq 2666782000  \r
 536 (5) Ignored parameter: 'rom://(nd)/tftpboot/sojka/novaboot/bin/apps/diskbench.nul'  \r
 537 (5)     => wvtest <=  \r
 538 (5)     => lorem_ipsum <=  \r
 539 (5) DISK flags 1 sectors 1 ssize 512 maxreq 1 name 'virtualdisk'  \r
 540 (5) Speed: 480231 kb/s Request: 938891/s  \r
 541 (5) ! demo/apps/diskbench/diskbench.cc:124 dataOnDisk == "Lorem ipsum"  ok  \r
 542 (5) Speed: 473453 kb/s Request: 925638/s  \r
 543 (5) ! demo/apps/diskbench/diskbench.cc:124 dataOnDisk == "Lorem ipsum"  ok  \r
 544 (5) ! demo/apps/diskbench/diskbench.cc:127 PERF: throughput 473453 ok  \r
 545 (5) ! demo/apps/diskbench/diskbench.cc:128 PERF: request_rate 925638 ok  \r
 546 sc: done.\r
 547 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 548 + set +x
 549 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/boot/vancouver-linux-basic.wv --server --iprelay
 550 novaboot: Entering directory `/home/sojka/nul/build'
 551 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/vancouver.nul bin/boot/munich imgs/bzImage-js imgs/initrd-wvtest-boot.lzma vancuver.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 552 Testing "all" in /home/sojka/nul/michal/boot/vancouver-linux-basic.wv:
 553 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 554         => hostkeyb:0,0x60,1,12 <=\r
 555         => script_start:1,1 <=\r
 556         => service_config <=\r
 557 sc: start 0-1 count 1\r
 558 kb: receive() failed at 325 -- buggy keyboard?\r
 559 sc: done.\r
 560 tb: client data 1f000 guid 5 parent 5b6\r
 561 (5) source freq 2666773000  \r
 562 (5) Ignored parameter: 'rom://(nd)/tftpboot/sojka/novaboot/bin/apps/vancouver.nul'  \r
 563 s0:     => INIT done <=\r
 564 \r
 565 (5)     => PC_PS2 <=  \r
 566 (5)     => mem:0,0xa0000 <=  \r
 567 (5) physmem: 0 [0, a0000]  \r
 568 (5)     => mem:0x100000 <=  \r
 569 (5) physmem: 0 [100000, 3c00000]  \r
 570 (5)     => ioio <=  \r
 571 (5)     => nullio:0x80 <=  \r
 572 (5)     => pic:0x20,,0x4d0 <=  \r
 573 (5)     => pic:0xa0,2,0x4d1 <=  \r
 574 (5)     => pit:0x40,0 <=  \r
 575 (5) source freq 0  \r
 576 (5) source freq 0  \r
 577 (5) source freq 0  \r
 578 (5)     => scp:0x92,0x61 <=  \r
 579 (5)     => kbc:0x60,1,12 <=  \r
 580 (5)     => keyb:0,0x10000 <=  \r
 581 (5)     => mouse:1,0x10001 <=  \r
 582 (5)     => rtc:0x70,8 <=  \r
 583 (5)     => serial:0x3f8,0x4,0x4711 <=  \r
 584 (5)     => hostsink:0x4712,80 <=  \r
 585 (5)     => vga:0x03c0 <=  \r
 586 (5) Allocating from guest 03be0000+20000  \r
 587 (5) VGA console 3be0000+20000 0x83fe0000  \r
 588 (5)     => vbios_disk <=  \r
 589 (5)     => vbios_keyboard <=  \r
 590 (5)     => hostkeyb:0x10,0x60,1,,1 <=  \r
 591 (5)     => vbios_mem <=  \r
 592 (5)     => vbios_time <=  \r
 593 (5)     => vbios_reset <=  \r
 594 (5)     => vbios_multiboot <=  \r
 595 (5)     => msi <=  \r
 596 (5)     => ioapic <=  \r
 597 (5)     => pcihostbridge:0,0x10,0xcf8,0xe0000000 <=  \r
 598 (5)     => pmtimer:0x8000 <=  \r
 599 (5)     => vcpus <=  \r
 600 (5)     => vcpu <=  \r
 601 (5)     create VCPU  \r
 602 (5)     => halifax <=  \r
 603 (5)     => vbios <=  \r
 604 (5)     => lapic <=  \r
 605 (5) startup  \r
 606 (5) LAPIC freq 166673312  \r
 607 (5) void DBus<M>::debug_dump() [with M = MessageHwIOIn]: Bus used 0 times.  \r
 608 (5)  0:         StaticReceiver<Y>::StaticReceiver() [with Y = IOAccess]  \r
 609 (5)   \r
 610 (5) do_gsi_boot eip 8000509d esp 80239fec  \r
 611 (5) do_gsi_boot eip 80004f00 esp 80237fec  \r
 612 (5) do_gsi_boot eip 80004234 esp 80235fec  \r
 613 (5) do_gsi_boot eip 800053a5 esp 80234fec  \r
 614 (5) do_gsi_boot eip 80004db1 esp 80132fec  \r
 615 (5) RESET device state  \r
 616 (5) INIT done  \r
 617 (5) reset CPU from 9 mtr_in e0010  \r
 618 (5) >   bool VirtualBiosMultiboot::receive(MessageBios&) rip ffff ilen 0 cr0 10 efl 2  \r
 619 (5)     module 0 start 0x81c00000+768 cmdline rom://(nd)/tftpboot/sojka/novaboot/bin/b  \r
 620 (5)     module 1 start 0x81c02000+32db80 cmdline rom://(nd)/tftpboot/sojka/novaboot/imgs/  \r
 621 (5)     module 2 start 0x81f31000+32f cmdline rom://(nd)/tftpboot/sojka/novaboot/imgs/  \r
 622 (5) #   MUNICH: v.0.4.6 starts Linux  \r
 623 (5) #   MUNICH: 2.6.36-rc8-00002-g469008a-dirty (julian@monat) #13 SMP Mon Oct 18 17:10  \r
 624 (5) # |   :10 CEST 2010  \r
 625 (5) #   MUNICH: clocksource=tsc console=ttyS0   \r
 626 (5) #   MUNICH: initrd 1B31000  \r
 627 (5) #   MUNICH: copy image  \r
 628 (5) #   MUNICH: start kernel  \r
 629 (5)     handle_int15 eax e801 ebx 0 ecx 0 edx 0 eip ffff efl 2  \r
 630 (5)     handle_int15 eax c000 ebx 0 ecx 0 edx 0 eip ffff efl 2  \r
 631 (5)     handle_int15 eax e980 ebx 0 ecx 0 edx 47534943 eip ffff efl 2  \r
 632 (5) VESA 4f00 tag 0 base 40000+3610 esi 0  \r
 633 (5)     handle_int10 eax 4f15 ebx 0 ecx 0 edx 0 eip ffff efl 3  \r
 634 (5) #   [    0.000000] Linux version 2.6.36-rc8-00002-g469008a-dirty (julian@monat) (gc  \r
 635 (5) # |   c version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu5) ) #13 SMP Mon Oct 18 17:10:10 C  \r
 636 (5) # |   EST 2010  \r
 637 (5) #   [    0.000000] CPU: vendor_id 'NOVA microHV' unknown, using generic init.  \r
 638 (5) #   [    0.000000] CPU: Your system may be unstable.  \r
 639 (5) #   [    0.000000] BIOS-provided physical RAM map:  \r
 640 (5) #   [    0.000000]  BIOS-e820: 0000000000000000 - 000000000009ac00 (usable)  \r
 641 (5) #   [    0.000000]  BIOS-e820: 000000000009ac00 - 00000000000a0000 (reserved)  \r
 642 (5) #   [    0.000000]  BIOS-e820: 0000000000100000 - 0000000003be0000 (usable)  \r
 643 (5) #   [    0.000000] Notice: NX (Execute Disable) protection missing in CPU or disabl  \r
 644 (5) # |   ed in BIOS!  \r
 645 (5) #   [    0.000000] DMI not present or invalid.  \r
 646 (5) #   [    0.000000] last_pfn = 0x3be0 max_arch_pfn = 0x100000  \r
 647 (5) #   [    0.000000] init_memory_mapping: 0000000000000000-0000000003be0000  \r
 648 (5) #   [    0.000000] RAMDISK: 01b31000 - 01b32000  \r
 649 (5) #   [    0.000000] ACPI: RSDP 0009ce00 00000 (v02  NOVA )  \r
 650 (5) #   [    0.000000] ACPI: RSDT 0009e000 00030 (v01  NOVA  bk@vmmon 00000001      000  \r
 651 (5) # |   00000)  \r
 652 (5) #   [    0.000000] ACPI: APIC 0009f000 00064 (v01  NOVA  bk@vmmon 00000001      000  \r
 653 (5) # |   00000)  \r
 654 (5) #   [    0.000000] ACPI: MCFG 0009bc00 0003C (v01  NOVA  bk@vmmon 00000001      000  \r
 655 (5) # |   00000)  \r
 656 (5) #   [    0.000000] ACPI: FACP 0009ac00 000DC (v01  NOVA  bk@vmmon 00000001      000  \r
 657 (5) # |   00000)  \r
 658 (5) #   [    0.000000] ACPI Error: Required field Pm1aEventBlock has zero address and/o  \r
 659 (5) # |   r length: 0x0000000000000000/0x0 (20100702/tbfadt-541)  \r
 660 (5) #   [    0.000000] ACPI Error: Required field Pm1aControlBlock has zero address and  \r
 661 (5) # |   /or length: 0x0000000000000000/0x0 (20100702/tbfadt-541)  \r
 662 (5) #   [    0.000000] ACPI Error: Null physical address for ACPI table [DSDT] (2010070  \r
 663 (5) # |   2/tbutils-459)  \r
 664 (5) #   [    0.000000] ACPI Error: Null physical address for ACPI table [FACS] (2010070  \r
 665 (5) # |   2/tbutils-459)  \r
 666 (5) #   [    0.000000] 0MB HIGHMEM available.  \r
 667 (5) #   [    0.000000] 59MB LOWMEM available.  \r
 668 (5) #   [    0.000000]   mapped low ram: 0 - 03be0000  \r
 669 (5) #   [    0.000000]   low ram: 0 - 03be0000  \r
 670 (5) #   [    0.000000] Zone PFN ranges:  \r
 671 (5) #   [    0.000000]   DMA      0x00000001 -> 0x00001000  \r
 672 (5) #   [    0.000000]   Normal   0x00001000 -> 0x00003be0  \r
 673 (5) #   [    0.000000]   HighMem  empty  \r
 674 (5) #   [    0.000000] Movable zone start PFN for each node  \r
 675 (5) #   [    0.000000] early_node_map[2] active PFN ranges  \r
 676 (5) #   [    0.000000]     0: 0x00000001 -> 0x0000009a  \r
 677 (5) #   [    0.000000]     0: 0x00000100 -> 0x00003be0  \r
 678 (5) #   [    0.000000] Using APIC driver default  \r
 679 (5) #   [    0.000000] ACPI: PM-Timer IO Port: 0x8000  \r
 680 (5) #   [    0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)  \r
 681 (5) #   [    0.000000] ACPI: X2APIC_NMI (uid[0xffffffff] dfl dfl lint[0x1])  \r
 682 (5) #   [    0.000000] ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])  \r
 683 (5) #   [    0.000000] ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])  \r
 684 (5) #   [    0.000000] IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23  \r
 685 (5) #   [    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)  \r
 686 (5) #   [    0.000000] ACPI: NMI_SRC (dfl dfl global_irq 23)  \r
 687 (5) #   [    0.000000] Using ACPI (MADT) for SMP configuration information  \r
 688 (5) #   [    0.000000] SMP: Allowing 1 CPUs, 0 hotplug CPUs  \r
 689 (5) #   [    0.000000] Allocating PCI resources starting at 3be0000 (gap: 3be0000:fc420  \r
 690 (5) # |   000)  \r
 691 (5) #   [    0.000000] setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:1 nr_node_i  \r
 692 (5) # |   ds:1  \r
 693 (5) #   [    0.000000] PERCPU: Embedded 11 pages/cpu @c1c00000 s29824 r0 d15232 u419430  \r
 694 (5) # |   4  \r
 695 (5) #   [    0.000000] pcpu-alloc: s29824 r0 d15232 u4194304 alloc=1*4194304  \r
 696 (5) #   [    0.000000] pcpu-alloc: [0] 0   \r
 697 (5) #   [    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pa  \r
 698 (5) # |   ges: 15105  \r
 699 (5) #   [    0.000000] Kernel command line: clocksource=tsc console=ttyS0   \r
 700 (5) #   [    0.000000] PID hash table entries: 256 (order: -2, 1024 bytes)  \r
 701 (5) #   [    0.000000] Dentry cache hash table entries: 8192 (order: 3, 32768 bytes)  \r
 702 (5) #   [    0.000000] Inode-cache hash table entries: 4096 (order: 2, 16384 bytes)  \r
 703 (5) #   [    0.000000] Enabling fast FPU save and restore... done.  \r
 704 (5) #   [    0.000000] Enabling unmasked SIMD FPU exception support... done.  \r
 705 (5) #   [    0.000000] Initializing CPU#0  \r
 706 (5) #   [    0.000000] Subtract (30 early reservations)  \r
 707 (5) #   [    0.000000]   #1 [0000001000 - 0000002000]   EX TRAMPOLINE  \r
 708 (5) #   [    0.000000]   #2 [0001000000 - 0001762554]   TEXT DATA BSS  \r
 709 (5) #   [    0.000000]   #3 [0001b31000 - 0001b32000]         RAMDISK  \r
 710 (5) #   [    0.000000]   #4 [000009ac00 - 0000100000]   BIOS reserved  \r
 711 (5) #   [    0.000000]   #5 [0001763000 - 000176a000]             BRK  \r
 712 (5) #   [    0.000000]   #6 [0000002000 - 0000003000]      TRAMPOLINE  \r
 713 (5) #   [    0.000000]   #7 [0000007000 - 0000008000]         PGTABLE  \r
 714 (5) #   [    0.000000]   #8 [000176a000 - 000176b000]         BOOTMEM  \r
 715 (5) #   [    0.000000]   #9 [0001762680 - 0001762688]         BOOTMEM  \r
 716 (5) #   [    0.000000]   #10 [000176b000 - 00017eb000]         BOOTMEM  \r
 717 (5) #   [    0.000000]   #11 [0001762580 - 0001762640]         BOOTMEM  \r
 718 (5) #   [    0.000000]   #12 [00017626c0 - 00017629c0]         BOOTMEM  \r
 719 (5) #   [    0.000000]   #13 [0001762640 - 0001762667]         BOOTMEM  \r
 720 (5) #   [    0.000000]   #14 [00017629c0 - 0001762a30]         BOOTMEM  \r
 721 (5) #   [    0.000000]   #15 [0001762a40 - 0001762a80]         BOOTMEM  \r
 722 (5) #   [    0.000000]   #16 [0001762a80 - 0001762ac0]         BOOTMEM  \r
 723 (5) #   [    0.000000]   #17 [0001762ac0 - 0001762b00]         BOOTMEM  \r
 724 (5) #   [    0.000000]   #18 [0001762b00 - 0001762b1f]         BOOTMEM  \r
 725 (5) #   [    0.000000]   #19 [0001762b40 - 0001762b5f]         BOOTMEM  \r
 726 (5) #   [    0.000000]   #20 [0001c00000 - 0001c0b000]         BOOTMEM  \r
 727 (5) #   [    0.000000]   #21 [0001762b80 - 0001762b84]         BOOTMEM  \r
 728 (5) #   [    0.000000]   #22 [0001762bc0 - 0001762bc4]         BOOTMEM  \r
 729 (5) #   [    0.000000]   #23 [0001762c00 - 0001762c04]         BOOTMEM  \r
 730 (5) #   [    0.000000]   #24 [0001762c40 - 0001762c44]         BOOTMEM  \r
 731 (5) #   [    0.000000]   #25 [0001762c80 - 0001762d30]         BOOTMEM  \r
 732 (5) #   [    0.000000]   #26 [0001762d40 - 0001762de8]         BOOTMEM  \r
 733 (5) #   [    0.000000]   #27 [00017eb000 - 00017eb400]         BOOTMEM  \r
 734 (5) #   [    0.000000]   #28 [00017eb400 - 00017f3400]         BOOTMEM  \r
 735 (5) #   [    0.000000]   #29 [00017f3400 - 00017f7400]         BOOTMEM  \r
 736 (5) #   [    0.000000] Initializing HighMem for node 0 (00000000:00000000)  \r
 737 (5) #   [    0.000000] Memory: 52680k/61312k available (4361k kernel code, 8220k reserv  \r
 738 (5) # |   ed, 2335k data, 400k init, 0k highmem)  \r
 739 (5) #   [    0.000000] virtual kernel memory layout:  \r
 740 (5) #   [    0.000000]     fixmap  : 0xfff17000 - 0xfffff000   ( 928 kB)  \r
 741 (5) #   [    0.000000]     pkmap   : 0xff800000 - 0xffc00000   (4096 kB)  \r
 742 (5) #   [    0.000000]     vmalloc : 0xc43e0000 - 0xff7fe000   ( 948 MB)  \r
 743 (5) #   [    0.000000]     lowmem  : 0xc0000000 - 0xc3be0000   (  59 MB)  \r
 744 (5) #   [    0.000000]       .init : 0xc168b000 - 0xc16ef000   ( 400 kB)  \r
 745 (5) #   [    0.000000]       .data : 0xc1442735 - 0xc168a470   (2335 kB)  \r
 746 (5) #   [    0.000000]       .text : 0xc1000000 - 0xc1442735   (4361 kB)  \r
 747 (5) #   [    0.000000] Checking if this processor honours the WP bit even in supervisor  \r
 748 (5) # |    mode...Ok.  \r
 749 (5) #   [    0.000000] SLUB: Genslabs=13, HWalign=64, Order=0-3, MinObjects=0, CPUs=1,   \r
 750 (5) # |   Nodes=1  \r
 751 (5) #   [    0.000000] Hierarchical RCU implementation.  \r
 752 (5) #   [    0.000000]  RCU-based detection of stalled CPUs is disabled.  \r
 753 (5) #   [    0.000000]  Verbose stalled-CPUs detection is disabled.  \r
 754 (5) #   [    0.000000] NR_IRQS:2304 nr_irqs:256  \r
 755 (5) #   [    0.000000] Console: colour VGA+ 80x25  \r
 756 (5) #   [    0.000000] console [ttyS0] enabled  \r
 757 (5) #   [    0.000000] Fast TSC calibration using PIT  \r
 758 (5) #   [    0.000000] Detected 2666.312 MHz processor.  \r
 759 (5) #   [    0.012002] Calibrating delay loop (skipped), value calculated using timer f  \r
 760 (5) # |   requency.. 5332.62 BogoMIPS (lpj=10665248)  \r
 761 (5) #   [    0.020003] pid_max: default: 32768 minimum: 301  \r
 762 (5) #   [    0.024013] Mount-cache hash table entries: 512  \r
 763 (5) #   [    0.028079] Performance Events:   \r
 764 (5) #   [    0.029375] SMP alternatives: switching to UP code  \r
 765 (5) #   [    0.041073] Freeing SMP alternatives: 24k freed  \r
 766 (5) #   [    0.044005] ACPI: Core revision 20100702  \r
 767 (5) #   [    0.048015] ACPI Exception: AE_NO_ACPI_TABLES, While loading namespace from   \r
 768 (5) # |   ACPI tables (20100702/tbxface-640)  \r
 769 (5) #   [    0.056002] ACPI: Unable to load the System Description Tables  \r
 770 (5) #   [    0.060022] Enabling APIC mode:  Flat.  Using 1 I/O APICs  \r
 771 (5) #   [    0.065042] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1  \r
 772 (5) #   [    0.110383] CPU0: NOVA microHV Vancouver VMM proudly presents this VirtualCP  \r
 773 (5) # |   U.  stepping 03  \r
 774 (5) #   [    0.120000] NMI watchdog failed to create perf event on cpu0: ffffffed  \r
 775 (5) #   [    0.120002] Brought up 1 CPUs  \r
 776 (5) #   [    0.124002] Total of 1 processors activated (5332.62 BogoMIPS).  \r
 777 (5) #   [    0.128361] NET: Registered protocol family 16  \r
 778 (5) #   [    0.168837] PCI: Using configuration type 1 for base access  \r
 779 (5) #   [    0.174383] bio: create slab <bio-0> at 0  \r
 780 (5) #   [    0.176055] ACPI: Interpreter disabled.  \r
 781 (5) #   [    0.180226] vgaarb: loaded  \r
 782 (5) #   [    0.184082] SCSI subsystem initialized  \r
 783 (5) #   [    0.188095] usbcore: registered new interface driver usbfs  \r
 784 (5) #   [    0.192025] usbcore: registered new interface driver hub  \r
 785 (5) #   [    0.196028] usbcore: registered new device driver usb  \r
 786 (5) #   [    0.200104] Advanced Linux Sound Architecture Driver Version 1.0.23.  \r
 787 (5) #   [    0.204004] PCI: Probing PCI hardware  \r
 788 (5) #   [    0.217407] Switching to clocksource tsc  \r
 789 (5) #   [    0.220017] pnp: PnP ACPI: disabled  \r
 790 (5) #   [    0.261537] NET: Registered protocol family 2  \r
 791 (5) #   [    0.268171] IP route cache hash table entries: 1024 (order: 0, 4096 bytes)  \r
 792 (5) #   [    0.278512] TCP established hash table entries: 2048 (order: 2, 16384 bytes)  \r
 793 (5) # |   [    0.289009] TCP bind hash table entries: 2048 (order: 2, 16384 bytes)  \r
 794 (5) #   [    0.299040] TCP: Hash tables configured (established 2048 bind 2048)  \r
 795 (5) #   [    0.308809] TCP reno registered  \r
 796 (5) #   [    0.314060] UDP hash table entries: 128 (order: 0, 4096 bytes)  \r
 797 (5) #   [    0.322181] UDP-Lite hash table entries: 128 (order: 0, 4096 bytes)  \r
 798 (5) #   [    0.330760] NET: Registered protocol family 1  \r
 799 (5) #   [    0.337331] RPC: Registered udp transport module.  \r
 800 (5) #   [    0.344261] RPC: Registered tcp transport module.  \r
 801 (5) #   [    0.351179] RPC: Registered tcp NFSv4.1 backchannel transport module.  \r
 802 (5) #   [    0.361056] Trying to unpack rootfs image as initramfs...  \r
 803 (5) #   [    0.369344] Freeing initrd memory: 4k freed  \r
 804 (5) #   [    0.375763] platform rtc_cmos: registered platform RTC device (no PNP device  \r
 805 (5) # |    found)  \r
 806 (5) #   [    0.389358] microcode: no support for this CPU vendor  \r
 807 (5) #   [    0.396735] HugeTLB registered 4 MB page size, pre-allocated 0 pages  \r
 808 (5) #   [    0.408162] msgmni has been set to 102  \r
 809 (5) #   [    0.414237] Block layer SCSI generic (bsg) driver version 0.4 loaded (major   \r
 810 (5) # |   253)  \r
 811 (5) #   [    0.427475] io scheduler noop registered  \r
 812 (5) #   [    0.433560] io scheduler deadline registered  \r
 813 (5) #   [    0.440062] io scheduler cfq registered (default)  \r
 814 (5) #   [    0.447044] pci_hotplug: PCI Hot Plug PCI Core version: 0.5  \r
 815 (5) #   [    0.455073] Non-volatile memory driver v1.3  \r
 816 (5) #   [    0.461438] Linux agpgart interface v0.103  \r
 817 (5) #   [    0.467871] [drm] Initialized drm 1.1.0 20060810  \r
 818 (5) #   [    0.474711] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled  \r
 819 (5) #   ÿÿ[    0.736869] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16450  \r
 820 (5) #   [    0.746122] brd: module loaded  \r
 821 (5) #   [    0.752092] loop: module loaded  \r
 822 (5) #   [    0.757598] e1000: Intel(R) PRO/1000 Network Driver - version 7.3.21-k6-NAPI  \r
 823 (5) # |   [    0.768115] e1000: Copyright (c) 1999-2006 Intel Corporation.  \r
 824 (5) #   [    0.776331] e1000e: Intel(R) PRO/1000 Network Driver - 1.2.7-k2  \r
 825 (5) #   [    0.784554] e1000e: Copyright (c) 1999 - 2010 Intel Corporation.  \r
 826 (5) #   [    0.792898] Intel(R) Gigabit Ethernet Network Driver - version 2.1.0-k2  \r
 827 (5) #   [    0.802935] Copyright (c) 2007-2009 Intel Corporation.  \r
 828 (5) #   [    0.810337] Intel(R) Virtual Function Network Driver - version 1.0.0-k0  \r
 829 (5) #   [    0.820367] Copyright (c) 2009 Intel Corporation.  \r
 830 (5) #   [    0.827304] ixgbe: Intel(R) 10 Gigabit PCI Express Network Driver - version   \r
 831 (5) # |   2.0.84-k2  \r
 832 (5) #   [    0.840981] ixgbe: Copyright (c) 1999-2010 Intel Corporation.  \r
 833 (5) #   [    0.849031] ixgbevf: Intel(R) 82599 Virtual Function - version 1.0.0-k0  \r
 834 (5) #   [    0.859087] Copyright (c) 2009 Intel Corporation.  \r
 835 (5) #   [    0.866030] ixgb: Intel(R) PRO/10GbE Network Driver - version 1.0.135-k2-NAP  \r
 836 (5) # |   I  \r
 837 (5) #   [    0.878954] ixgb: Copyright (c) 1999-2008 Intel Corporation.  \r
 838 (5) #   [    0.886933] jme: JMicron JMC2XX ethernet driver version 1.0.6  \r
 839 (5) #   [    0.894991] VMware vmxnet3 virtual NIC driver - version 1.0.14.0-k-NAPI  \r
 840 (5) #   [    0.905077] pcnet32: pcnet32.c:v1.35 21.Apr.2008 tsbogend@alpha.franken.de  \r
 841 (5) #   [    0.915412] e100: Intel(R) PRO/100 Network Driver, 3.5.24-k2-NAPI  \r
 842 (5) #   [    0.923817] e100: Copyright(c) 1999-2006 Intel Corporation  \r
 843 (5) #   [    0.931635] Broadcom NetXtreme II 5771x 10Gigabit Ethernet Driver bnx2x 1.52  \r
 844 (5) # |   .53-4 (2010/16/08)  \r
 845 (5) #   [    0.946298] vxge: Copyright(c) 2002-2010 Exar Corp.  \r
 846 (5) #   [    0.953410] vxge: Driver version: 2.0.9.20840-k  \r
 847 (5) #   [    0.960156] console [netcon0] enabled  \r
 848 (5) #   [    0.965975] netconsole: network logging started  \r
 849 (5) #   [    0.972835] usbmon: debugfs is not available  \r
 850 (5) #   [    0.979302] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver  \r
 851 (5) #   [    0.989251] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver  \r
 852 (5) #   [    0.997786] uhci_hcd: USB Universal Host Controller Interface driver  \r
 853 (5) #   [    1.007580] Initializing USB Mass Storage driver...  \r
 854 (5) #   [    1.014690] usbcore: registered new interface driver usb-storage  \r
 855 (5) #   [    1.022999] USB Mass Storage support registered.  \r
 856 (5) #   [    1.029856] usbcore: registered new interface driver libusual  \r
 857 (5) #   [    1.037946] PNP: No PS/2 controller found. Probing ports directly.  \r
 858 (5) #   [    1.046760] serio: i8042 KBD port at 0x60,0x64 irq 1  \r
 859 (5) #   [    1.053964] serio: i8042 AUX port at 0x60,0x64 irq 12  \r
 860 (5) #   [    1.061318] mice: PS/2 mouse device common for all mice  \r
 861 (5) #   [    1.068949] input: AT Raw Set 2 keyboard as /devices/platform/i8042/serio0/i  \r
 862 (5) # |   nput/input0  \r
 863 (5) #   [    1.082857] rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0  \r
 864 (5) #   [    1.092684] rtc0: alarms up to one day, 114 bytes nvram  \r
 865 (5) #   [    1.100781] device-mapper: ioctl: 4.18.0-ioctl (2010-06-29) initialised: dm-  \r
 866 (5) # |   devel@redhat.com  \r
 867 (5) #   [    1.115133] cpuidle: using governor ladder  \r
 868 (5) #   [    1.121413] cpuidle: using governor menu  \r
 869 (5) #   [    1.127904] usbcore: registered new interface driver hiddev  \r
 870 (5) #   [    1.135742] usbcore: registered new interface driver usbhid  \r
 871 (5) #   [    1.143600] usbhid: USB HID core driver  \r
 872 (5) #   [    1.149646] ALSA device list:  \r
 873 (5) #   [    1.154718]   No soundcards found.  \r
 874 (5) #   [    1.160255] IPv4 over IPv4 tunneling driver  \r
 875 (5) #   [    1.166713] TCP cubic registered  \r
 876 (5) #   [    1.172070] Initializing XFRM netlink socket  \r
 877 (5) #   [    1.178673] NET: Registered protocol family 10  \r
 878 (5) #   [    1.185397] lo: Disabled Privacy Extensions  \r
 879 (5) #   [    1.191778] tunl0: Disabled Privacy Extensions  \r
 880 (5) #   [    1.198443] Mobile IPv6  \r
 881 (5) #   [    1.202950] NET: Registered protocol family 17  \r
 882 (5) #   [    1.209608] Registering the dns_resolver key type  \r
 883 (5) #   [    1.216529] Using IPI No-Shortcut mode  \r
 884 (5) #   [    1.222594] Freeing unused kernel memory: 400k freed  \r
 885 (5) #   [    1.229855] Write protecting the kernel text: 4364k  \r
 886 (5) #   [    1.236978] Write protecting the kernel read-only data: 1900k  \r
 887 (5) #   [    1.245053] md: stopping all md devices.  \r
 888 (5) #   ! Linux booted  ok  \r
 889 (5) #   [    3.044735] input: PS/2 Generic Mouse as /devices/platform/i8042/serio1/inpu  \r
 890 (5) # |   t/input1  \r
 891 (5) #   [    3.058415] System halted.  \r
 892 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 893 + set +x
 894 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/wvtest/wvtesttest.wv --server --iprelay
 895 novaboot: Entering directory `/home/sojka/nul/build'
 896 Running: tar czhf - menu.lst bin/apps/hypervisor bin/apps/sigma0.nul bin/apps/wvtesttest.nul wvtesttest.nulconfig | ssh os.inf.tu-dresden.de 'mkdir -p boot/novaboot; cd boot/novaboot; tar xzpf -'
 897 Testing "Tests WvTest framework itself" in /home/sojka/nul/michal/wvtest/wvtesttest.wv:
 898 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=\r
 899 s0: map self 3c0000 -> 0 size 20000 offset 0 s 0 typed 1\r
 900         => hostkeyb:0,0x60,1,12,2 <=\r
 901 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1\r
 902 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1\r
 903         => script_start:1 <=\r
 904         => script_waitchild <=\r
 905 sc: start 0-1 count 1\r
 906 s0: [ 5] module 'sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \\r
 907 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/wvtesttest.nul'\r
 908 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3\r
 909 s0: [ 5] using memory: 16 MB (1000000) at be400000\r
 910 s0: [ 5] creating PD on CPU 1\r
 911 kb: receive() failed at 325 -- buggy keyboard?\r
 912 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \\r
 913 s0: ... ' embedded://admission.nul top '\r
 914 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1\r
 915 s0: [ 1] using memory: 0 MB (db000) at be000000\r
 916 s0: [ 1] creating PD on CPU 2\r
 917 s0: [ 1, 2040e] pagefault 48/0 for 80004869 err 4 at 80004869\r
 918 s0: [ 1, 2040e] map 48/7 for 80004869 err 4 at 80004869\r
 919 s0: [ 5, 2140e] pagefault 48/0 for 80001c49 err 4 at 80001c49\r
 920 sc: wait for child 5\r
 921 s0:     => INIT done <=\r
 922 \r
 923 s0: [ 5, 2140e] map 48/5 for 80001c49 err 4 at 80001c49\r
 924 tb: client data 1f000 guid 5 parent 5b6\r
 925 (5) ! michal/wvtest/wvtesttest.cc:28 1  ok  \r
 926 (5) ! michal/wvtest/wvtesttest.cc:29 1 == 1  ok  \r
 927 (5) ! michal/wvtest/wvtesttest.cc:30 1 != 2  ok  \r
 928 (5) ! michal/wvtest/wvtesttest.cc:31 1 < 2  ok  \r
 929 (5) ! michal/wvtest/wvtesttest.cc:33 "hello" == "hello"  ok  \r
 930 (5) ! michal/wvtest/wvtesttest.cc:34 "hello" != "hello2"  ok  \r
 931 (5) ! michal/wvtest/wvtesttest.cc:39 NOT(strstr(cmdline, "fail"))  ok  \r
 932 sc: done.\r
 933 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
 934 + set +x