]> rtime.felk.cvut.cz Git - nul-nightly.git/blob - logs/nul_1318839454.20872_1.log
New nightly build log
[nul-nightly.git] / logs / nul_1318839454.20872_1.log
1 Return-path: <sojka@os.inf.tu-dresden.de>
2 Envelope-to: sojka@os.inf.tu-dresden.de
3 Delivery-date: Sun, 16 Oct 2011 23:06:18 +0200
4 Received: from [2002:8d4c:3001:48::80] (helo=erwin.inf.tu-dresden.de)
5         by os.inf.tu-dresden.de with esmtps (TLSv1:AES256-SHA:256) (Exim 4.77)
6         id 1RFXuU-0000jh-KX
7         for sojka@os.inf.tu-dresden.de; Sun, 16 Oct 2011 23:06:18 +0200
8 Received: from sojka by erwin.inf.tu-dresden.de with local (Exim 4.72)
9         (envelope-from <sojka@erwin.inf.tu-dresden.de>)
10         id 1RFXuU-0008AS-33
11         for sojka@erwin.inf.tu-dresden.de; Sun, 16 Oct 2011 23:06:18 +0200
12 Date: Sun, 16 Oct 2011 23:06:18 +0200
13 Message-Id: <E1RFXuU-0008AS-33@erwin.inf.tu-dresden.de>
14 From: root@os.inf.tu-dresden.de (Cron Daemon)
15 To: sojka@os.inf.tu-dresden.de
16 Subject: Cron <sojka@erwin> /home/sojka/bin/nul-test
17 Content-Type: text/plain; charset=ANSI_X3.4-1968
18 X-Cron-Env: <SHELL=/bin/sh>
19 X-Cron-Env: <HOME=/home/sojka>
20 X-Cron-Env: <PATH=/usr/bin:/bin>
21 X-Cron-Env: <LOGNAME=sojka>
22
23 HEAD is now at a16a23c adjust to use recent libvirt 0.9.6
24 Testing "Sunday 2011-10-16 23:00:06, commit: passive-2011.7-democd-193-ga16a23c (Alexander Boettcher: adjust to use recent libvirt 0.9.6)" in /home/sojka/bin/nul-test:
25 scons: Reading SConscript files ...
26 Target CC forced to '/usr/local/gcc/4.6/bin/gcc'.
27 Target CXX forced to '/usr/local/gcc/4.6/bin/g++'.
28 Installing into /srv/tftp. Use scons tftp=/foo to change this.
29 scons: done reading SConscript files.
30 scons: Building targets ...
31         CXX apps/admission/main.o
32         CXX service/simplemalloc.o
33         CXX service/logging.o
34         CXX service/vprintf.o
35         ASC service/startup.o
36         CXX lib/runtime/cpp-support.o
37         CXX lib/runtime/string.o
38         AR  bin/lib/libruntime.a
39         LIB bin/lib/libruntime.a
40         LNK bin/apps/admission.nul.debug
41    text    data     bss     dec     hex filename
42   18727    5152  864256  888135   d8d47 bin/apps/admission.nul
43         CXX apps/bridge/bridge.o
44         LNK bin/apps/bridge.nul.debug
45    text    data     bss     dec     hex filename
46   11490    4768 4255744 4272002  412f82 bin/apps/bridge.nul
47         CXX apps/cycleburner/cycleburner.o
48         LNK bin/apps/cycleburner.nul.debug
49    text    data     bss     dec     hex filename
50    7844    3536  602112  613492   95c74 bin/apps/cycleburner.nul
51         CXX apps/diskbench/diskbench.o
52         LNK bin/apps/diskbench.nul.debug
53    text    data     bss     dec     hex filename
54    9214    3900 4321280 4334394  42233a bin/apps/diskbench.nul
55         CXX apps/fs_test/main.o
56         LNK bin/apps/dummy_fs.nul.debug
57    text    data     bss     dec     hex filename
58    9830    3640 1110016 1123486  11249e bin/apps/dummy_fs.nul
59         CXX apps/echo/echo.o
60         LNK bin/apps/echo.nul.debug
61    text    data     bss     dec     hex filename
62    8238    3068 4255744 4267050  411c2a bin/apps/echo.nul
63         CXX apps/echo/echo2.o
64         LNK bin/apps/echo2.nul.debug
65    text    data     bss     dec     hex filename
66   10988    3848 4255744 4270580  4129f4 bin/apps/echo2.nul
67         CXX apps/echo/echo2ss.o
68         LNK bin/apps/echo2ss.nul.debug
69    text    data     bss     dec     hex filename
70   11026    4136 4255744 4270906  412b3a bin/apps/echo2ss.nul
71         CXX apps/echo/echo2test.o
72         LNK bin/apps/echo2test.nul.debug
73    text    data     bss     dec     hex filename
74    7066    2756 4255744 4265566  41165e bin/apps/echo2test.nul
75         CXX apps/echo/echotest.o
76         LNK bin/apps/echotest.nul.debug
77    text    data     bss     dec     hex filename
78    6884    2716 4255744 4265344  411580 bin/apps/echotest.nul
79         CXX apps/gt/gt.o
80         LNK bin/apps/gt.nul.debug
81    text    data     bss     dec     hex filename
82    5508    2344 8413184 8421036  807eac bin/apps/gt.nul
83         CXX apps/hello/hello.o
84         LNK bin/apps/hello.nul.debug
85    text    data     bss     dec     hex filename
86    5766    2360  126976  135102   20fbe bin/apps/hello.nul
87 make -sC `dirname contrib/nova/build/hypervisor` CC=/usr/local/gcc/4.6/bin/gcc CXX=/usr/local/gcc/4.6/bin/g++
88         CXX apps/packetdump/packetdump.o
89 /home/sojka/nul/julian/include/nul/service_bridge.h: In member function 'unsigned int BridgeProtocol::wait_packet(uint8*&)':
90 /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]
91         LNK bin/apps/packetdump.nul.debug
92    text    data     bss     dec     hex filename
93    7242    2944 1110016 1120202  1117ca bin/apps/packetdump.nul
94         CXX apps/per-cpu-service/per-cpu-service.o
95         LNK bin/apps/per-cpu-service.nul.debug
96    text    data     bss     dec     hex filename
97   10016    4652 8454144 8468812  81394c bin/apps/per-cpu-service.nul
98         CXX apps/remoteconfig/main.o
99         CXX apps/remoteconfig/server.o
100         CXX apps/remoteconfig/events.o
101         CC  lib/lwip/contrib/src/core/def.o
102         CC  lib/lwip/contrib/src/core/dhcp.o
103 /home/sojka/nul/alexb/lib/lwip/contrib/src/core/dhcp.c: In function 'dhcp_bind':
104 /home/sojka/nul/alexb/lib/lwip/contrib/src/core/dhcp.c:978:7: warning: the comparison will always evaluate as 'false' for the address of 'gw_addr' will never be NULL [-Waddress]
105         CC  lib/lwip/contrib/src/core/dns.o
106         CC  lib/lwip/contrib/src/core/init.o
107         CC  lib/lwip/contrib/src/core/mem.o
108         CC  lib/lwip/contrib/src/core/memp.o
109         CC  lib/lwip/contrib/src/core/netif.o
110         CC  lib/lwip/contrib/src/core/pbuf.o
111         CC  lib/lwip/contrib/src/core/raw.o
112         CC  lib/lwip/contrib/src/core/stats.o
113         CC  lib/lwip/contrib/src/core/sys.o
114         CC  lib/lwip/contrib/src/core/tcp.o
115         CC  lib/lwip/contrib/src/core/tcp_in.o
116         CC  lib/lwip/contrib/src/core/tcp_out.o
117         CC  lib/lwip/contrib/src/core/timers.o
118         CC  lib/lwip/contrib/src/core/udp.o
119         CC  lib/lwip/contrib/src/core/ipv4/autoip.o
120         CC  lib/lwip/contrib/src/core/ipv4/icmp.o
121         CC  lib/lwip/contrib/src/core/ipv4/igmp.o
122         CC  lib/lwip/contrib/src/core/ipv4/inet.o
123         CC  lib/lwip/contrib/src/core/ipv4/inet_chksum.o
124         CC  lib/lwip/contrib/src/core/ipv4/ip.o
125 /home/sojka/nul/alexb/lib/lwip/contrib/src/core/ipv4/ip.c: In function 'ip_input':
126 /home/sojka/nul/alexb/lib/lwip/contrib/src/core/ipv4/ip.c:403:24: warning: the comparison will always evaluate as 'false' for the address of 'current_iphdr_src' will never be NULL [-Waddress]
127         CC  lib/lwip/contrib/src/core/ipv4/ip_addr.o
128         CC  lib/lwip/contrib/src/core/ipv4/ip_frag.o
129         CC  lib/lwip/contrib/src/api/api_lib.o
130         CC  lib/lwip/contrib/src/api/api_msg.o
131         CC  lib/lwip/contrib/src/api/err.o
132         CC  lib/lwip/contrib/src/api/netbuf.o
133         CC  lib/lwip/contrib/src/api/netdb.o
134         CC  lib/lwip/contrib/src/api/netifapi.o
135         CC  lib/lwip/contrib/src/api/sockets.o
136         CC  lib/lwip/contrib/src/api/tcpip.o
137         CC  lib/lwip/contrib/src/netif/etharp.o
138         CC  lib/lwip/contrib/src/netif/ethernetif.o
139         CC  lib/lwip/contrib/src/netif/slipif.o
140         CXX lib/lwip/own/sys.o
141         AR  bin/lib/libip_lwip.a
142         LIB bin/lib/libip_lwip.a
143         LNK bin/apps/remote_config.nul.debug
144    text    data     bss     dec     hex filename
145   55488   14024 2174976 2244488  223f88 bin/apps/remote_config.nul
146         CXX apps/rocknshine/rocknshine.o
147         CXX service/help.o
148         CXX service/hostsink.o
149         CXX service/kbd2serial.o
150         CXX service/serial2kbd.o
151         CXX service/simplearping.o
152         CXX service/simplebootp.o
153         AR  bin/lib/libservice.a
154         LIB bin/lib/libservice.a
155         CC  lib/tinf/src/tinflate.o
156         CC  lib/tinf/src/tinfgzip.o
157         CC  lib/tinf/src/tinfzlib.o
158         CC  lib/tinf/src/adler32.o
159         CC  lib/tinf/src/crc32.o
160         AR  bin/lib/libtinf.a
161         LIB bin/lib/libtinf.a
162         LNK bin/apps/rocknshine.nul.debug
163    text    data     bss     dec     hex filename
164   15211    6584  131072  152867   25523 bin/apps/rocknshine.nul
165         CXX apps/sigma0/scripting.o
166         CXX apps/sigma0/service_config.o
167         CXX apps/sigma0/service_fs.o
168         CXX apps/sigma0/service_per_cpu_timer.o
169         CXX apps/sigma0/service_timer.o
170         CXX apps/sigma0/service_vnet.o
171 /home/sojka/nul/julian/apps/sigma0/service_vnet.cc:725:2: warning: #warning XXX offloads broken when packet spread over multiple RX descriptors [-Wcpp]
172         CXX apps/sigma0/sigma0.o
173         CXX apps/sigma0/tracebuffer.o
174         CXX host/hostvesa.o
175         CXX model/memorycontroller.o
176         CXX model/vcpu.o
177         CXX executor/halifax.o
178         CXX model/pit8254.o
179         CXX model/sysctrlport.o
180         CXX model/pcihostbridge.o
181         CXX model/pcidirect.o
182         CXX model/directio.o
183         AR  bin/lib/libhostvesa.a
184         LIB bin/lib/libhostvesa.a
185         CXX host/atare.o
186         CXX host/host82573.o
187         CXX host/host82576.o
188         CXX host/host82576vf.o
189         CXX host/hostacpi.o
190         CXX host/hostahci.o
191         CXX host/hosthpet.o
192         CXX host/hostide.o
193         CXX host/hostio.o
194         CXX host/hostkeyboard.o
195         CXX host/hostne2k.o
196         CXX host/hostne2k_vnet.o
197         CXX host/hostpcicfg.o
198         CXX host/hostpit.o
199         CXX host/hostreboot.o
200         CXX host/hostrtc.o
201         CXX host/hostserial.o
202         CXX host/hostserialpci.o
203         CXX host/hostvga.o
204         CXX host/jsdriver.o
205         CXX host/mmconfig.o
206         CXX host/nubus-bus.o
207         CXX host/nubus-device.o
208         CXX host/nubus.o
209         CXX host/virtualdisk.o
210         AR  bin/lib/libhost.a
211         LIB bin/lib/libhost.a
212         LNK bin/apps/sigma0.bare.nul.debug
213    text    data     bss     dec     hex filename
214  221068  172044       0  393112   5ff98 bin/apps/sigma0.bare.nul
215 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
216 objcopy --add-section .boot.`basename bin/apps/admission.nul`=bin/apps/admission.nul bin/apps/sigma0.nul bin/apps/sigma0.nul
217 gzip -c bin/apps/sigma0.nul > bin/apps/sigma0.nul.gz
218         CXX apps/config_test/main.o
219         LNK bin/apps/test_config.nul.debug
220    text    data     bss     dec     hex filename
221    7203    2884 1110016 1120103  111767 bin/apps/test_config.nul
222         CXX apps/event_test/main.o
223         LNK bin/apps/test_events.nul.debug
224    text    data     bss     dec     hex filename
225    6540    2592 1110016 1119148  1113ac bin/apps/test_events.nul
226         CXX apps/ip_test/main.o
227         LNK bin/apps/test_ip.nul.debug
228    text    data     bss     dec     hex filename
229   43009   10376 1126400 1179785  120089 bin/apps/test_ip.nul
230         CXX apps/ip_test_vnet/main.o
231         LNK bin/apps/test_ip_vnet.nul.debug
232    text    data     bss     dec     hex filename
233   44119   10720 1126400 1181239  120637 bin/apps/test_ip_vnet.nul
234         CXX apps/ipc_test/main.o
235         LNK bin/apps/test_ipc.nul.debug
236    text    data     bss     dec     hex filename
237    8228    3564 1110016 1121808  111e10 bin/apps/test_ipc.nul
238         CXX apps/tests/timer.o
239         LNK bin/apps/timer.nul.debug
240    text    data     bss     dec     hex filename
241    8004    2896 4255744 4266644  411a94 bin/apps/timer.nul
242         CXX apps/tutor/tutor.o
243         CXX apps/tutor/screen1.o
244         LNK bin/apps/tutor.nul.debug
245    text    data     bss     dec     hex filename
246   15210    2684  126976  144870   235e6 bin/apps/tutor.nul
247         CXX apps/vancouver/vancouver.o
248         AR  bin/lib/libhostkbd.a
249         LIB bin/lib/libhostkbd.a
250         CXX executor/vbios_disk.o
251         CXX executor/vbios_keyboard.o
252         CXX executor/vbios_mem.o
253         CXX executor/vbios_multiboot.o
254         CXX executor/vbios_reset.o
255         CXX executor/vbios_time.o
256         AR  bin/lib/libexecutor.a
257         LIB bin/lib/libexecutor.a
258         CXX model/82576vf.o
259         CXX model/82576vf_vnet.o
260         CXX model/ahcicontroller.o
261         CXX model/directmem.o
262         CXX model/ioapic.o
263         CXX model/irqrouting.o
264         CXX model/keyboardcontroller.o
265         CXX model/lapic.o
266         CXX model/msi.o
267         CXX model/nullio.o
268         CXX model/nullmem.o
269         CXX model/pic8259.o
270         CXX model/pmtimer.o
271         CXX model/ps2keyboard.o
272         CXX model/ps2mouse.o
273         CXX model/rtc146818.o
274         CXX model/rtl8029.o
275         CXX model/rtl8029_vnet.o
276         CXX model/satadrive.o
277         CXX model/serial16550.o
278         CXX model/vbios.o
279         CXX model/vga.o
280         AR  bin/lib/libmodel.a
281         LIB bin/lib/libmodel.a
282         LNK bin/apps/vancouver.nul.debug
283    text    data     bss     dec     hex filename
284  188195   42716 2162688 2393599  2485ff bin/apps/vancouver.nul
285         CXX wvtest/wvtesttest.o
286         LNK bin/apps/wvtesttest.nul.debug
287    text    data     bss     dec     hex filename
288    7386    2828  126976  137190   217e6 bin/apps/wvtesttest.nul
289         ASC tools/boot/munich/asm.o
290         ASC tools/boot/munich/boot_linux.o
291         CC  tools/boot/munich/munich.o
292         CC  tools/boot/munich/util.o
293         LNK tools/boot/munich/munich.debug
294    text    data     bss     dec     hex filename
295    1543       4     528    2075     81b tools/boot/munich/munich
296 scons: `bin/boot' is up to date.
297 scons: done building targets.
298 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/julian/apps/per-cpu-service/per-cpu-service.wv --server --iprelay
299 novaboot: Entering directory `/home/sojka/nul/build'
300 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 -'
301 Testing "all" in /home/sojka/nul/julian/apps/per-cpu-service/per-cpu-service.wv:
302 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
303 s0: map self 3c0000 -> 0 size 20000 offset 0 s 0 typed 1
304         => tracebuffer:32768,1 <=
305         => script_start:1,1 <=
306         => script_waitchild <=
307         => hostkeyb:0,0x60,1,12,2 <=
308 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
309 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
310 sc: start 0-1 count 1
311 s0: [ 5] module 'namespace::/s0 name::/s0/admission name::/s0/pcpus namespace::/s0 name::/s0/log ||' \
312 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/per-cpu-service.nul'
313 s0: map self bec00000 -> b6800000 size c00000 offset 0 s 0 typed 3
314 s0: [ 5] using memory: 8 MB (815000) at bec00000
315 s0: [ 5] creating PD on CPU 1
316 kb: receive() failed at 325 -- buggy keyboard?
317 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
318 s0: ... ' embedded://admission.nul top '
319 s0: map self be800000 -> b6700000 size 100000 offset 0 s 0 typed 1
320 s0: [ 1] using memory: 0 MB (da000) at be800000
321 s0: [ 1] creating PD on CPU 2
322 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
323 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
324 s0: [ 5, 2140e] pagefault 48/0 for 800026ef err 4 at 800026ef
325 sc: wait for child 5
326 s0:     => INIT done <=
327
328 s0: [ 5, 2140e] map 48/5 for 800026ef err 4 at 800026ef
329 tb: client data 1d000 guid 5 parent 62f
330 (5) New session object allocated: 0x80803fc0  
331 (5) Next...  
332 (5) call cycles 608  
333 (5) ! julian/apps/per-cpu-service/per-cpu-service.cc:84 "Done"  ok  
334 sc: done.
335 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
336 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/echo/echo2sstest.wv --server --iprelay
337 novaboot: Entering directory `/home/sojka/nul/build'
338 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 -'
339 Testing "Echo service based on SSession" in /home/sojka/nul/michal/apps/echo/echo2sstest.wv:
340 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
341         => verbose <=
342         => hostkeyb:0,0x60,1,12,2 <=
343 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
344 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
345         => tracebuffer:32768,1 <=
346         => script <=
347         => script_start:1 <=
348         => script_start:2 <=
349         => script_waitchild <=
350         => script_start:3 <=
351         => script_waitchild <=
352 kb: receive() failed at 325 -- buggy keyboard?
353 sc: start 0-1 count 1
354 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \
355 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2ss.nul'
356 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3
357 s0: [ 5] using memory: 16 MB (1000000) at be400000
358 s0: [ 5] creating PD on CPU 1
359 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
360 s0: ... ' embedded://admission.nul top '
361 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1
362 s0: [ 1] using memory: 0 MB (da000) at be000000
363 s0: [ 1] creating PD on CPU 2
364 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
365 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
366 s0: [ 5, 2140e] pagefault 48/0 for 80002ac1 err 4 at 80002ac1
367 sc: start 1-1 count 1
368 s0:     => INIT done <=
369
370 s0: [ 5, 2140e] map 48/5 for 80002ac1 err 4 at 80002ac1
371 s0: [ 6] module 'tb: client data 1d000 guid 5 parent 633
372 s(5) Constructing service /echo...  
373 i(5) Service /echo registered.  
374 gma0::mem:16 sigma0::cpu:0 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \
375 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'
376 s0: map self bd000000 -> b5000000 size 1000000 offset 0 s 0 typed 1
377 s0: [ 6] using memory: 16 MB (1000000) at bd000000
378 s0: [ 6] creating PD on CPU 0
379 sc: wait for child 6
380 s0: [ 6, 2180e] pagefault 48/0 for 80001b73 err 4 at 80001b73
381 s0: [ 6, 2180e] map 48/2 for 80001b73 err 4 at 80001b73
382 (5) Cannot get client (id=0x0) data: 0x105  
383 (5) echo: Client 0x426 sent us a value 42  
384 tb: client data 1d002 guid 6 parent 630
385 (6) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  
386 (6) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  
387 sc: start 2-1 count 1
388 s0: [ 7] module 'sigma0::mem:16 sigma0::cpu:1 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \
389 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'
390 s0: map self bc000000 -> b4000000 size 1000000 offset 0 s 0 typed 1
391 s0: [ 7] using memory: 16 MB (1000000) at bc000000
392 s0: [ 7] creating PD on CPU 1
393 s0: [ 7, 21c0e] pagefault 48/0 for 80001b73 err 4 at 80001b73
394 sc: wait for child 7
395 s0: [ 7, 21c0e] map 48/2 for 80001b73 err 4 at 80001b73
396 (5) Cannot get client (id=0x0) data: 0x105  
397 (5) echo: Client 0x427 sent us a value 42  
398 tb: client data 1d004 guid 7 parent 1d001
399 (7) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  
400 (7) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  
401 sc: done.
402 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
403 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/echo/echo2test.wv --server --iprelay
404 novaboot: Entering directory `/home/sojka/nul/build'
405 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 -'
406 Testing "Echo service with sessions" in /home/sojka/nul/michal/apps/echo/echo2test.wv:
407 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
408         => verbose <=
409         => hostkeyb:0,0x60,1,12,2 <=
410 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
411 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
412         => tracebuffer:32768,1 <=
413         => script <=
414         => script_start:1 <=
415         => script_start:2 <=
416         => script_waitchild <=
417         => script_start:3 <=
418         => script_waitchild <=
419 kb: receive() failed at 325 -- buggy keyboard?
420 sc: start 0-1 count 1
421 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \
422 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2.nul'
423 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3
424 s0: [ 5] using memory: 16 MB (1000000) at be400000
425 s0: [ 5] creating PD on CPU 1
426 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
427 s0: ... ' embedded://admission.nul top '
428 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1
429 s0: [ 1] using memory: 0 MB (da000) at be000000
430 s0: [ 1] creating PD on CPU 2
431 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
432 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
433 s0: [ 5, 2140e] pagefault 48/0 for 80002a9d err 4 at 80002a9d
434 sc: start 1-1 count 1
435 s0:     => INIT done <=
436
437 s0: [ 5, 2140e] map 48/5 for 80002a9d err 4 at 80002a9d
438 s0: [ 6] module 'sigma0::mem:16 sigma0::cpu:0 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \
439 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'
440 s0: map self bd000000 -> b5000000 size 1000000 offset 0 s 0 typed 1
441 s0: [ 6] using memory: 16 MB (1000000) at bd000000
442 s0: [ 6] creating PD on CPU 0
443 sc: wait for child 6
444 s0: [ 6, 2180e] pagefault 48/0 for 80001b73 err 4 at 80001b73
445 s0: [ 6, 2180e] map 48/2 for 80001b73 err 4 at 80001b73
446 tb: client data 1d000 guid 5 parent 630
447 (5) EchoProtocol::TYPE_ECHO  
448 (5) Cannot get client (id=0x0) data: 0x105  
449 (5) ParentProtocol::TYPE_OPEN  
450 (5) ----- created echo client pseudonym=0x420 identity=0x4a6  
451 (5) EchoProtocol::TYPE_ECHO  
452 (5) echo: Client 0x4a6 sent us a value 42  
453 tb: client data 1d002 guid 6 parent 1d001
454 (6) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  
455 (5) EchoProtocol::TYPE_GET_LAST  
456 (6) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  
457 sc: start 2-1 count 1
458 s0: [ 7] module 'sigma0::mem:16 sigma0::cpu:1 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \
459 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo2test.nul'
460 s0: map self bc000000 -> b4000000 size 1000000 offset 0 s 0 typed 1
461 s0: [ 7] using memory: 16 MB (1000000) at bc000000
462 s0: [ 7] creating PD on CPU 1
463 s0: [ 7, 21c0e] pagefault 48/0 for 80001b73 err 4 at 80001b73
464 sc: wait for child 7
465 s0: [ 7, 21c0e] map 48/2 for 80001b73 err 4 at 80001b73
466 (5) EchoProtocol::TYPE_ECHO  
467 (5) Cannot get client (id=0x0) data: 0x105  
468 (5) ParentProtocol::TYPE_OPEN  
469 (5) ----- created echo client pseudonym=0x433 identity=0x4a8  
470 (5) EchoProtocol::TYPE_ECHO  
471 (5) echo: Client 0x4a8 sent us a value 42  
472 tb: client data 1d004 guid 7 parent 633
473 (7) ! michal/apps/echo/echo2test.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  
474 (5) EchoProtocol::TYPE_GET_LAST  
475 (7) ! michal/apps/echo/echo2test.cc:31 echo->get_last(*myutcb()) == 42U  ok  
476 sc: done.
477 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
478 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/echo/echotest.wv --server --iprelay
479 novaboot: Entering directory `/home/sojka/nul/build'
480 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 -'
481 Testing "Simple echo service" in /home/sojka/nul/michal/apps/echo/echotest.wv:
482 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
483         => verbose <=
484         => hostkeyb:0,0x60,1,12,2 <=
485 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
486 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
487         => tracebuffer:32768,1 <=
488         => script <=
489         => script_start:1 <=
490         => script_start:2 <=
491         => script_waitchild <=
492         => script_start:3 <=
493         => script_waitchild <=
494 kb: receive() failed at 325 -- buggy keyboard?
495 sc: start 0-1 count 1
496 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \
497 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echo.nul'
498 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3
499 s0: [ 5] using memory: 16 MB (1000000) at be400000
500 s0: [ 5] creating PD on CPU 1
501 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
502 s0: ... ' embedded://admission.nul top '
503 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1
504 s0: [ 1] using memory: 0 MB (da000) at be000000
505 s0: [ 1] creating PD on CPU 2
506 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
507 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
508 s0: [ 5, 2140e] pagefault 48/0 for 80001fff err 4 at 80001fff
509 sc: start 1-1 count 1
510 s0:     => INIT done <=
511
512 s0: [ 5, 2140e] map 48/5 for 80001fff err 4 at 80001fff
513 s0: [ 6] module 'tb: client data 1d000 guid 5 parent 633
514 s(5) Echo service successfully started  
515 igma0::mem:16 sigma0::cpu:0 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \
516 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echotest.nul'
517 s0: map self bd000000 -> b5000000 size 1000000 offset 0 s 0 typed 1
518 s0: [ 6] using memory: 16 MB (1000000) at bd000000
519 s0: [ 6] creating PD on CPU 0
520 sc: wait for child 6
521 s0: [ 6, 2180e] pagefault 48/0 for 80001abd err 4 at 80001abd
522 s0: [ 6, 2180e] map 48/2 for 80001abd err 4 at 80001abd
523 (5) echo: Client 0x0 sent us a value 42  
524 tb: client data 1d002 guid 6 parent 630
525 (6) ! michal/apps/echo/echotest.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  
526 sc: start 2-1 count 1
527 s0: [ 7] module 'sigma0::mem:16 sigma0::cpu:1 name::/s0/log name::/s0/fs/rom name::/tmp/echo name::/s0/admission ||' \
528 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/echotest.nul'
529 s0: map self bc000000 -> b4000000 size 1000000 offset 0 s 0 typed 1
530 s0: [ 7] using memory: 16 MB (1000000) at bc000000
531 s0: [ 7] creating PD on CPU 1
532 s0: [ 7, 21c0e] pagefault 48/0 for 80001abd err 4 at 80001abd
533 sc: wait for child 7
534 s0: [ 7, 21c0e] map 48/2 for 80001abd err 4 at 80001abd
535 (5) echo: Client 0x0 sent us a value 42  
536 tb: client data 1d004 guid 7 parent 1d001
537 (7) ! michal/apps/echo/echotest.cc:30 echo->echo(*myutcb(), 42) == 42U  ok  
538 sc: done.
539 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
540 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/apps/tests/timer.wv --server --iprelay
541 novaboot: Entering directory `/home/sojka/nul/build'
542 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 -'
543 Testing "all" in /home/sojka/nul/michal/apps/tests/timer.wv:
544 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
545         => verbose <=
546         => hostkeyb:0,0x60,1,12,2 <=
547 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
548 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
549         => tracebuffer:32768,1 <=
550         => script_start:1 <=
551         => script_waitchild <=
552 sc: start 0-1 count 1
553 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \
554 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/timer.nul'
555 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3
556 s0: [ 5] using memory: 16 MB (1000000) at be400000
557 s0: [ 5] creating PD on CPU 1
558 kb: receive() failed at 325 -- buggy keyboard?
559 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
560 s0: ... ' embedded://admission.nul top '
561 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1
562 s0: [ 1] using memory: 0 MB (da000) at be000000
563 s0: [ 1] creating PD on CPU 2
564 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
565 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
566 s0: [ 5, 2140e] pagefault 48/0 for 80001f1d err 4 at 80001f1d
567 sc: wait for child 5
568 s0:     => INIT done <=
569
570 s0: [ 5, 2140e] map 48/5 for 80001f1d err 4 at 80001f1d
571 tb: client data 1d000 guid 5 parent 633
572 (5) source freq 2666782000  
573 (5) ! michal/apps/tests/timer.cc:31 clock  ok  
574 (5) ! michal/apps/tests/timer.cc:32 timer_service  ok  
575 (5) ! michal/apps/tests/timer.cc:38 timer_service->timer(*utcb, msg)  ok  
576 (5) ! michal/apps/tests/timer.cc:45 sleep_time_ms >= 100  ok  
577 sc: done.
578 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
579 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/boot/vancouver-linux-basic.wv --server --iprelay
580 novaboot: Entering directory `/home/sojka/nul/build'
581 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 -'
582 Testing "all" in /home/sojka/nul/michal/boot/vancouver-linux-basic.wv:
583 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
584         => hostkeyb:0,0x60,1,12 <=
585         => tracebuffer:32768,1 <=
586         => script_start:1,1 <=
587         => service_config <=
588 sc: start 0-1 count 1
589 kb: receive() failed at 325 -- buggy keyboard?
590 sc: done.
591 tb: client data 1d000 guid 5 parent 633
592 (5) source freq 2666776000  
593 (5) Ignored parameter: 'rom://(nd)/tftpboot/sojka/novaboot/bin/apps/vancouver.nul'  
594 s0:     => INIT done <=
595
596 (5)     => PC_PS2 <=  
597 (5)     => mem:0,0xa0000 <=  
598 (5) physmem: 0 [0, a0000]  
599 (5)     => mem:0x100000 <=  
600 (5) physmem: 0 [100000, 3c00000]  
601 (5)     => ioio <=  
602 (5)     => nullio:0x80 <=  
603 (5)     => pic:0x20,,0x4d0 <=  
604 (5)     => pic:0xa0,2,0x4d1 <=  
605 (5)     => pit:0x40,0 <=  
606 (5) source freq 0  
607 (5) source freq 0  
608 (5) source freq 0  
609 (5)     => scp:0x92,0x61 <=  
610 (5)     => kbc:0x60,1,12 <=  
611 (5)     => keyb:0,0x10000 <=  
612 (5)     => mouse:1,0x10001 <=  
613 (5)     => rtc:0x70,8 <=  
614 (5)     => serial:0x3f8,0x4,0x4711 <=  
615 (5)     => hostsink:0x4712,80 <=  
616 (5)     => vga:0x03c0 <=  
617 (5) Allocating from guest 03be0000+20000  
618 (5) VGA console 3be0000+20000 0x83fe0000  
619 (5)     => vbios_disk <=  
620 (5)     => vbios_keyboard <=  
621 (5)     => hostkeyb:0x10,0x60,1,,1 <=  
622 (5)     => vbios_mem <=  
623 (5)     => vbios_time <=  
624 (5)     => vbios_reset <=  
625 (5)     => vbios_multiboot <=  
626 (5)     => msi <=  
627 (5)     => ioapic <=  
628 (5)     => pcihostbridge:0,0x10,0xcf8,0xe0000000 <=  
629 (5)     => pmtimer:0x8000 <=  
630 (5)     => vcpus <=  
631 (5)     => vcpu <=  
632 (5)     create VCPU  
633 (5)     => halifax <=  
634 (5)     => vbios <=  
635 (5)     => lapic <=  
636 (5) startup  
637 (5) LAPIC freq 166673500  
638 (5) void DBus<M>::debug_dump() [with M = MessageHwIOIn]: Bus used 0 times.  
639 (5)  0:         StaticReceiver<Y>::StaticReceiver() [with Y = IOAccess]  
640 (5)   
641 (5) do_gsi_boot eip 80004f9b esp 80238fec  
642 (5) do_gsi_boot eip 80004dfe esp 80236fec  
643 (5) do_gsi_boot eip 800042bc esp 80234fec  
644 (5) do_gsi_boot eip 800052a3 esp 80233fec  
645 (5) do_gsi_boot eip 80004caf esp 80131fec  
646 (5) RESET device state  
647 (5) INIT done  
648 (5) reset CPU from 9 mtr_in e0010  
649 (5) >   bool VirtualBiosMultiboot::receive(MessageBios&) rip ffff ilen 0 cr0 10 efl 2  
650 (5)     module 0 start 0x81c00000+768 cmdline rom://(nd)/tftpboot/sojka/novaboot/bin/b  
651 (5)     module 1 start 0x81c02000+32db80 cmdline rom://(nd)/tftpboot/sojka/novaboot/imgs/  
652 (5)     module 2 start 0x81f31000+32f cmdline rom://(nd)/tftpboot/sojka/novaboot/imgs/  
653 (5) #   MUNICH: v.0.4.6 starts Linux  
654 (5) #   MUNICH: 2.6.36-rc8-00002-g469008a-dirty (julian@monat) #13 SMP Mon Oct 18 17:10  
655 (5) # |   :10 CEST 2010  
656 (5) #   MUNICH: clocksource=tsc console=ttyS0   
657 (5) #   MUNICH: initrd 1B31000  
658 (5) #   MUNICH: copy image  
659 (5) #   MUNICH: start kernel  
660 (5)     handle_int15 eax e801 ebx 0 ecx 0 edx 0 eip ffff efl 2  
661 (5)     handle_int15 eax c000 ebx 0 ecx 0 edx 0 eip ffff efl 2  
662 (5)     handle_int15 eax e980 ebx 0 ecx 0 edx 47534943 eip ffff efl 2  
663 (5) VESA 4f00 tag 0 base 40000+3610 esi 0  
664 (5)     handle_int10 eax 4f15 ebx 0 ecx 0 edx 0 eip ffff efl 3  
665 (5) #   [    0.000000] Linux version 2.6.36-rc8-00002-g469008a-dirty (julian@monat) (gc  
666 (5) # |   c version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu5) ) #13 SMP Mon Oct 18 17:10:10 C  
667 (5) # |   EST 2010  
668 (5) #   [    0.000000] CPU: vendor_id 'NOVA microHV' unknown, using generic init.  
669 (5) #   [    0.000000] CPU: Your system may be unstable.  
670 (5) #   [    0.000000] BIOS-provided physical RAM map:  
671 (5) #   [    0.000000]  BIOS-e820: 0000000000000000 - 000000000009ac00 (usable)  
672 (5) #   [    0.000000]  BIOS-e820: 000000000009ac00 - 00000000000a0000 (reserved)  
673 (5) #   [    0.000000]  BIOS-e820: 0000000000100000 - 0000000003be0000 (usable)  
674 (5) #   [    0.000000] Notice: NX (Execute Disable) protection missing in CPU or disabl  
675 (5) # |   ed in BIOS!  
676 (5) #   [    0.000000] DMI not present or invalid.  
677 (5) #   [    0.000000] last_pfn = 0x3be0 max_arch_pfn = 0x100000  
678 (5) #   [    0.000000] init_memory_mapping: 0000000000000000-0000000003be0000  
679 (5) #   [    0.000000] RAMDISK: 01b31000 - 01b32000  
680 (5) #   [    0.000000] ACPI: RSDP 0009ce00 00000 (v02  NOVA )  
681 (5) #   [    0.000000] ACPI: RSDT 0009e000 00030 (v01  NOVA  bk@vmmon 00000001      000  
682 (5) # |   00000)  
683 (5) #   [    0.000000] ACPI: APIC 0009f000 00064 (v01  NOVA  bk@vmmon 00000001      000  
684 (5) # |   00000)  
685 (5) #   [    0.000000] ACPI: MCFG 0009bc00 0003C (v01  NOVA  bk@vmmon 00000001      000  
686 (5) # |   00000)  
687 (5) #   [    0.000000] ACPI: FACP 0009ac00 000DC (v01  NOVA  bk@vmmon 00000001      000  
688 (5) # |   00000)  
689 (5) #   [    0.000000] ACPI Error: Required field Pm1aEventBlock has zero address and/o  
690 (5) # |   r length: 0x0000000000000000/0x0 (20100702/tbfadt-541)  
691 (5) #   [    0.000000] ACPI Error: Required field Pm1aControlBlock has zero address and  
692 (5) # |   /or length: 0x0000000000000000/0x0 (20100702/tbfadt-541)  
693 (5) #   [    0.000000] ACPI Error: Null physical address for ACPI table [DSDT] (2010070  
694 (5) # |   2/tbutils-459)  
695 (5) #   [    0.000000] ACPI Error: Null physical address for ACPI table [FACS] (2010070  
696 (5) # |   2/tbutils-459)  
697 (5) #   [    0.000000] 0MB HIGHMEM available.  
698 (5) #   [    0.000000] 59MB LOWMEM available.  
699 (5) #   [    0.000000]   mapped low ram: 0 - 03be0000  
700 (5) #   [    0.000000]   low ram: 0 - 03be0000  
701 (5) #   [    0.000000] Zone PFN ranges:  
702 (5) #   [    0.000000]   DMA      0x00000001 -> 0x00001000  
703 (5) #   [    0.000000]   Normal   0x00001000 -> 0x00003be0  
704 (5) #   [    0.000000]   HighMem  empty  
705 (5) #   [    0.000000] Movable zone start PFN for each node  
706 (5) #   [    0.000000] early_node_map[2] active PFN ranges  
707 (5) #   [    0.000000]     0: 0x00000001 -> 0x0000009a  
708 (5) #   [    0.000000]     0: 0x00000100 -> 0x00003be0  
709 (5) #   [    0.000000] Using APIC driver default  
710 (5) #   [    0.000000] ACPI: PM-Timer IO Port: 0x8000  
711 (5) #   [    0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)  
712 (5) #   [    0.000000] ACPI: X2APIC_NMI (uid[0xffffffff] dfl dfl lint[0x1])  
713 (5) #   [    0.000000] ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])  
714 (5) #   [    0.000000] ACPI: IOAPIC (id[0x00] address[0xfec00000] gsi_base[0])  
715 (5) #   [    0.000000] IOAPIC[0]: apic_id 0, version 32, address 0xfec00000, GSI 0-23  
716 (5) #   [    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)  
717 (5) #   [    0.000000] ACPI: NMI_SRC (dfl dfl global_irq 23)  
718 (5) #   [    0.000000] Using ACPI (MADT) for SMP configuration information  
719 (5) #   [    0.000000] SMP: Allowing 1 CPUs, 0 hotplug CPUs  
720 (5) #   [    0.000000] Allocating PCI resources starting at 3be0000 (gap: 3be0000:fc420  
721 (5) # |   000)  
722 (5) #   [    0.000000] setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:1 nr_node_i  
723 (5) # |   ds:1  
724 (5) #   [    0.000000] PERCPU: Embedded 11 pages/cpu @c1c00000 s29824 r0 d15232 u419430  
725 (5) # |   4  
726 (5) #   [    0.000000] pcpu-alloc: s29824 r0 d15232 u4194304 alloc=1*4194304  
727 (5) #   [    0.000000] pcpu-alloc: [0] 0   
728 (5) #   [    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pa  
729 (5) # |   ges: 15105  
730 (5) #   [    0.000000] Kernel command line: clocksource=tsc console=ttyS0   
731 (5) #   [    0.000000] PID hash table entries: 256 (order: -2, 1024 bytes)  
732 (5) #   [    0.000000] Dentry cache hash table entries: 8192 (order: 3, 32768 bytes)  
733 (5) #   [    0.000000] Inode-cache hash table entries: 4096 (order: 2, 16384 bytes)  
734 (5) #   [    0.000000] Enabling fast FPU save and restore... done.  
735 (5) #   [    0.000000] Enabling unmasked SIMD FPU exception support... done.  
736 (5) #   [    0.000000] Initializing CPU#0  
737 (5) #   [    0.000000] Subtract (30 early reservations)  
738 (5) #   [    0.000000]   #1 [0000001000 - 0000002000]   EX TRAMPOLINE  
739 (5) #   [    0.000000]   #2 [0001000000 - 0001762554]   TEXT DATA BSS  
740 (5) #   [    0.000000]   #3 [0001b31000 - 0001b32000]         RAMDISK  
741 (5) #   [    0.000000]   #4 [000009ac00 - 0000100000]   BIOS reserved  
742 (5) #   [    0.000000]   #5 [0001763000 - 000176a000]             BRK  
743 (5) #   [    0.000000]   #6 [0000002000 - 0000003000]      TRAMPOLINE  
744 (5) #   [    0.000000]   #7 [0000007000 - 0000008000]         PGTABLE  
745 (5) #   [    0.000000]   #8 [000176a000 - 000176b000]         BOOTMEM  
746 (5) #   [    0.000000]   #9 [0001762680 - 0001762688]         BOOTMEM  
747 (5) #   [    0.000000]   #10 [000176b000 - 00017eb000]         BOOTMEM  
748 (5) #   [    0.000000]   #11 [0001762580 - 0001762640]         BOOTMEM  
749 (5) #   [    0.000000]   #12 [00017626c0 - 00017629c0]         BOOTMEM  
750 (5) #   [    0.000000]   #13 [0001762640 - 0001762667]         BOOTMEM  
751 (5) #   [    0.000000]   #14 [00017629c0 - 0001762a30]         BOOTMEM  
752 (5) #   [    0.000000]   #15 [0001762a40 - 0001762a80]         BOOTMEM  
753 (5) #   [    0.000000]   #16 [0001762a80 - 0001762ac0]         BOOTMEM  
754 (5) #   [    0.000000]   #17 [0001762ac0 - 0001762b00]         BOOTMEM  
755 (5) #   [    0.000000]   #18 [0001762b00 - 0001762b1f]         BOOTMEM  
756 (5) #   [    0.000000]   #19 [0001762b40 - 0001762b5f]         BOOTMEM  
757 (5) #   [    0.000000]   #20 [0001c00000 - 0001c0b000]         BOOTMEM  
758 (5) #   [    0.000000]   #21 [0001762b80 - 0001762b84]         BOOTMEM  
759 (5) #   [    0.000000]   #22 [0001762bc0 - 0001762bc4]         BOOTMEM  
760 (5) #   [    0.000000]   #23 [0001762c00 - 0001762c04]         BOOTMEM  
761 (5) #   [    0.000000]   #24 [0001762c40 - 0001762c44]         BOOTMEM  
762 (5) #   [    0.000000]   #25 [0001762c80 - 0001762d30]         BOOTMEM  
763 (5) #   [    0.000000]   #26 [0001762d40 - 0001762de8]         BOOTMEM  
764 (5) #   [    0.000000]   #27 [00017eb000 - 00017eb400]         BOOTMEM  
765 (5) #   [    0.000000]   #28 [00017eb400 - 00017f3400]         BOOTMEM  
766 (5) #   [    0.000000]   #29 [00017f3400 - 00017f7400]         BOOTMEM  
767 (5) #   [    0.000000] Initializing HighMem for node 0 (00000000:00000000)  
768 (5) #   [    0.000000] Memory: 52680k/61312k available (4361k kernel code, 8220k reserv  
769 (5) # |   ed, 2335k data, 400k init, 0k highmem)  
770 (5) #   [    0.000000] virtual kernel memory layout:  
771 (5) #   [    0.000000]     fixmap  : 0xfff17000 - 0xfffff000   ( 928 kB)  
772 (5) #   [    0.000000]     pkmap   : 0xff800000 - 0xffc00000   (4096 kB)  
773 (5) #   [    0.000000]     vmalloc : 0xc43e0000 - 0xff7fe000   ( 948 MB)  
774 (5) #   [    0.000000]     lowmem  : 0xc0000000 - 0xc3be0000   (  59 MB)  
775 (5) #   [    0.000000]       .init : 0xc168b000 - 0xc16ef000   ( 400 kB)  
776 (5) #   [    0.000000]       .data : 0xc1442735 - 0xc168a470   (2335 kB)  
777 (5) #   [    0.000000]       .text : 0xc1000000 - 0xc1442735   (4361 kB)  
778 (5) #   [    0.000000] Checking if this processor honours the WP bit even in supervisor  
779 (5) # |    mode...Ok.  
780 (5) #   [    0.000000] SLUB: Genslabs=13, HWalign=64, Order=0-3, MinObjects=0, CPUs=1,   
781 (5) # |   Nodes=1  
782 (5) #   [    0.000000] Hierarchical RCU implementation.  
783 (5) #   [    0.000000]  RCU-based detection of stalled CPUs is disabled.  
784 (5) #   [    0.000000]  Verbose stalled-CPUs detection is disabled.  
785 (5) #   [    0.000000] NR_IRQS:2304 nr_irqs:256  
786 (5) #   [    0.000000] Console: colour VGA+ 80x25  
787 (5) #   [    0.000000] console [ttyS0] enabled  
788 (5) #   [    0.000000] Fast TSC calibration using PIT  
789 (5) #   [    0.000000] Detected 2666.881 MHz processor.  
790 (5) #   [    0.012002] Calibrating delay loop (skipped), value calculated using timer f  
791 (5) # |   requency.. 5333.76 BogoMIPS (lpj=10667524)  
792 (5) #   [    0.020003] pid_max: default: 32768 minimum: 301  
793 (5) #   [    0.024013] Mount-cache hash table entries: 512  
794 (5) #   [    0.028080] Performance Events:   
795 (5) #   [    0.029446] SMP alternatives: switching to UP code  
796 (5) #   [    0.040711] Freeing SMP alternatives: 24k freed  
797 (5) #   [    0.044004] ACPI: Core revision 20100702  
798 (5) #   [    0.048015] ACPI Exception: AE_NO_ACPI_TABLES, While loading namespace from   
799 (5) # |   ACPI tables (20100702/tbxface-640)  
800 (5) #   [    0.056002] ACPI: Unable to load the System Description Tables  
801 (5) #   [    0.060022] Enabling APIC mode:  Flat.  Using 1 I/O APICs  
802 (5) #   [    0.065075] ..TIMER: vector=0x30 apic1=0 pin1=2 apic2=-1 pin2=-1  
803 (5) #   [    0.109991] CPU0: NOVA microHV Vancouver VMM proudly presents this VirtualCP  
804 (5) # |   U.  stepping 03  
805 (5) #   [    0.120000] NMI watchdog failed to create perf event on cpu0: ffffffed  
806 (5) #   [    0.120002] Brought up 1 CPUs  
807 (5) #   [    0.124002] Total of 1 processors activated (5333.76 BogoMIPS).  
808 (5) #   [    0.128374] NET: Registered protocol family 16  
809 (5) #   [    0.169173] PCI: Using configuration type 1 for base access  
810 (5) #   [    0.174381] bio: create slab <bio-0> at 0  
811 (5) #   [    0.176055] ACPI: Interpreter disabled.  
812 (5) #   [    0.180226] vgaarb: loaded  
813 (5) #   [    0.184082] SCSI subsystem initialized  
814 (5) #   [    0.188095] usbcore: registered new interface driver usbfs  
815 (5) #   [    0.192026] usbcore: registered new interface driver hub  
816 (5) #   [    0.196028] usbcore: registered new device driver usb  
817 (5) #   [    0.200103] Advanced Linux Sound Architecture Driver Version 1.0.23.  
818 (5) #   [    0.204004] PCI: Probing PCI hardware  
819 (5) #   [    0.217929] Switching to clocksource tsc  
820 (5) #   [    0.220017] pnp: PnP ACPI: disabled  
821 (5) #   [    0.261525] NET: Registered protocol family 2  
822 (5) #   [    0.268162] IP route cache hash table entries: 1024 (order: 0, 4096 bytes)  
823 (5) #   [    0.278491] TCP established hash table entries: 2048 (order: 2, 16384 bytes)  
824 (5) # |   [    0.288989] TCP bind hash table entries: 2048 (order: 2, 16384 bytes)  
825 (5) #   [    0.299015] TCP: Hash tables configured (established 2048 bind 2048)  
826 (5) #   [    0.308764] TCP reno registered  
827 (5) #   [    0.314010] UDP hash table entries: 128 (order: 0, 4096 bytes)  
828 (5) #   [    0.322122] UDP-Lite hash table entries: 128 (order: 0, 4096 bytes)  
829 (5) #   [    0.330722] NET: Registered protocol family 1  
830 (5) #   [    0.337292] RPC: Registered udp transport module.  
831 (5) #   [    0.344202] RPC: Registered tcp transport module.  
832 (5) #   [    0.351107] RPC: Registered tcp NFSv4.1 backchannel transport module.  
833 (5) #   [    0.360972] Trying to unpack rootfs image as initramfs...  
834 (5) #   [    0.369255] Freeing initrd memory: 4k freed  
835 (5) #   [    0.375668] platform rtc_cmos: registered platform RTC device (no PNP device  
836 (5) # |    found)  
837 (5) #   [    0.389239] microcode: no support for this CPU vendor  
838 (5) #   [    0.396612] HugeTLB registered 4 MB page size, pre-allocated 0 pages  
839 (5) #   [    0.408056] msgmni has been set to 102  
840 (5) #   [    0.414168] Block layer SCSI generic (bsg) driver version 0.4 loaded (major   
841 (5) # |   253)  
842 (5) #   [    0.427368] io scheduler noop registered  
843 (5) #   [    0.433433] io scheduler deadline registered  
844 (5) #   [    0.439892] io scheduler cfq registered (default)  
845 (5) #   [    0.446878] pci_hotplug: PCI Hot Plug PCI Core version: 0.5  
846 (5) #   [    0.454879] Non-volatile memory driver v1.3  
847 (5) #   [    0.461227] Linux agpgart interface v0.103  
848 (5) #   [    0.467651] [drm] Initialized drm 1.1.0 20060810  
849 (5) #   [    0.474486] Serial: 8250/16550 driver, 4 ports, IRQ sharing enabled  
850 (5) #   ÿÿ[    0.736230] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16450  
851 (5) #   [    0.745479] brd: module loaded  
852 (5) #   [    0.751061] loop: module loaded  
853 (5) #   [    0.756561] e1000: Intel(R) PRO/1000 Network Driver - version 7.3.21-k6-NAPI  
854 (5) # |   [    0.767063] e1000: Copyright (c) 1999-2006 Intel Corporation.  
855 (5) #   [    0.775268] e1000e: Intel(R) PRO/1000 Network Driver - 1.2.7-k2  
856 (5) #   [    0.783485] e1000e: Copyright (c) 1999 - 2010 Intel Corporation.  
857 (5) #   [    0.791801] Intel(R) Gigabit Ethernet Network Driver - version 2.1.0-k2  
858 (5) #   [    0.801852] Copyright (c) 2007-2009 Intel Corporation.  
859 (5) #   [    0.809244] Intel(R) Virtual Function Network Driver - version 1.0.0-k0  
860 (5) #   [    0.819246] Copyright (c) 2009 Intel Corporation.  
861 (5) #   [    0.826175] ixgbe: Intel(R) 10 Gigabit PCI Express Network Driver - version   
862 (5) # |   2.0.84-k2  
863 (5) #   [    0.839818] ixgbe: Copyright (c) 1999-2010 Intel Corporation.  
864 (5) #   [    0.847860] ixgbevf: Intel(R) 82599 Virtual Function - version 1.0.0-k0  
865 (5) #   [    0.857909] Copyright (c) 2009 Intel Corporation.  
866 (5) #   [    0.864838] ixgb: Intel(R) PRO/10GbE Network Driver - version 1.0.135-k2-NAP  
867 (5) # |   I  
868 (5) #   [    0.877728] ixgb: Copyright (c) 1999-2008 Intel Corporation.  
869 (5) #   [    0.885689] jme: JMicron JMC2XX ethernet driver version 1.0.6  
870 (5) #   [    0.893730] VMware vmxnet3 virtual NIC driver - version 1.0.14.0-k-NAPI  
871 (5) #   [    0.903809] pcnet32: pcnet32.c:v1.35 21.Apr.2008 tsbogend@alpha.franken.de  
872 (5) #   [    0.914124] e100: Intel(R) PRO/100 Network Driver, 3.5.24-k2-NAPI  
873 (5) #   [    0.922522] e100: Copyright(c) 1999-2006 Intel Corporation  
874 (5) #   [    0.930338] Broadcom NetXtreme II 5771x 10Gigabit Ethernet Driver bnx2x 1.52  
875 (5) # |   .53-4 (2010/16/08)  
876 (5) #   [    0.944990] vxge: Copyright(c) 2002-2010 Exar Corp.  
877 (5) #   [    0.952094] vxge: Driver version: 2.0.9.20840-k  
878 (5) #   [    0.958840] console [netcon0] enabled  
879 (5) #   [    0.964651] netconsole: network logging started  
880 (5) #   [    0.971504] usbmon: debugfs is not available  
881 (5) #   [    0.977960] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver  
882 (5) #   [    0.987917] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver  
883 (5) #   [    0.996445] uhci_hcd: USB Universal Host Controller Interface driver  
884 (5) #   [    1.006215] Initializing USB Mass Storage driver...  
885 (5) #   [    1.013337] usbcore: registered new interface driver usb-storage  
886 (5) #   [    1.021637] USB Mass Storage support registered.  
887 (5) #   [    1.028473] usbcore: registered new interface driver libusual  
888 (5) #   [    1.036553] PNP: No PS/2 controller found. Probing ports directly.  
889 (5) #   [    1.045376] serio: i8042 KBD port at 0x60,0x64 irq 1  
890 (5) #   [    1.052866] serio: i8042 AUX port at 0x60,0x64 irq 12  
891 (5) #   [    1.060212] mice: PS/2 mouse device common for all mice  
892 (5) #   [    1.067838] input: AT Raw Set 2 keyboard as /devices/platform/i8042/serio0/i  
893 (5) # |   nput/input0  
894 (5) #   [    1.081725] rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0  
895 (5) #   [    1.091532] rtc0: alarms up to one day, 114 bytes nvram  
896 (5) #   [    1.099584] device-mapper: ioctl: 4.18.0-ioctl (2010-06-29) initialised: dm-  
897 (5) # |   devel@redhat.com  
898 (5) #   [    1.113922] cpuidle: using governor ladder  
899 (5) #   [    1.120198] cpuidle: using governor menu  
900 (5) #   [    1.126682] usbcore: registered new interface driver hiddev  
901 (5) #   [    1.134543] usbcore: registered new interface driver usbhid  
902 (5) #   [    1.142391] usbhid: USB HID core driver  
903 (5) #   [    1.148431] ALSA device list:  
904 (5) #   [    1.153498]   No soundcards found.  
905 (5) #   [    1.159037] IPv4 over IPv4 tunneling driver  
906 (5) #   [    1.165495] TCP cubic registered  
907 (5) #   [    1.170839] Initializing XFRM netlink socket  
908 (5) #   [    1.177437] NET: Registered protocol family 10  
909 (5) #   [    1.184154] lo: Disabled Privacy Extensions  
910 (5) #   [    1.190524] tunl0: Disabled Privacy Extensions  
911 (5) #   [    1.197179] Mobile IPv6  
912 (5) #   [    1.201688] NET: Registered protocol family 17  
913 (5) #   [    1.208337] Registering the dns_resolver key type  
914 (5) #   [    1.215257] Using IPI No-Shortcut mode  
915 (5) #   [    1.221309] Freeing unused kernel memory: 400k freed  
916 (5) #   [    1.228563] Write protecting the kernel text: 4364k  
917 (5) #   [    1.235647] Write protecting the kernel read-only data: 1900k  
918 (5) #   [    1.243710] md: stopping all md devices.  
919 (5) #   ! Linux booted  ok  
920 (5) #   [    3.044700] input: PS/2 Generic Mouse as /devices/platform/i8042/serio1/inpu  
921 (5) # |   t/input1  
922 (5) #   [    3.058364] System halted.  
923 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
924 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/boot/diskbench-ramdisk.wv --server --iprelay
925 novaboot: Entering directory `/home/sojka/nul/build'
926 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 -'
927 Testing "all" in /home/sojka/nul/michal/boot/diskbench-ramdisk.wv:
928 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
929         => verbose <=
930         => hostkeyb:0,0x60,1,12,2 <=
931 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
932 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
933         => tracebuffer:32768,1 <=
934         => vdisk:rom://(nd)/tftpboot/sojka/novaboot/diskbench.img <=
935 vdisk: Opened '(nd)/tftpboot/sojka/novaboot/diskbench.img' 0x201 bytes.
936 vdisk: Attached as vdisk 0.
937         => script_start:1 <=
938         => script_waitchild <=
939 sc: start 0-1 count 1
940 s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission sigma0::drive:0 ||' \
941 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/diskbench.nul wvtest lorem_ipsum'
942 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3
943 s0: [ 5] using memory: 16 MB (1000000) at be400000
944 s0: [ 5] creating PD on CPU 1
945 kb: receive() failed at 325 -- buggy keyboard?
946 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
947 s0: ... ' embedded://admission.nul top '
948 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1
949 s0: [ 1] using memory: 0 MB (da000) at be000000
950 s0: [ 1] creating PD on CPU 2
951 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
952 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
953 s0: [ 5, 2140e] pagefault 48/0 for 800022b9 err 4 at 800022b9
954 sc: wait for child 5
955 s0:     => INIT done <=
956
957 s0: [ 5, 2140e] map 48/5 for 800022b9 err 4 at 800022b9
958 tb: client data 1d000 guid 5 parent 633
959 (5) Benchmark up and running  
960 (5) source freq 2666776000  
961 (5) Ignored parameter: 'rom://(nd)/tftpboot/sojka/novaboot/bin/apps/diskbench.nul'  
962 (5)     => wvtest <=  
963 (5)     => lorem_ipsum <=  
964 (5) DISK flags 1 sectors 1 ssize 512 maxreq 1 name 'virtualdisk'  
965 (5) Speed: 508625 kb/s Request: 994402/s  
966 (5) ! demo/apps/diskbench/diskbench.cc:124 dataOnDisk == "Lorem ipsum"  ok  
967 (5) Speed: 501903 kb/s Request: 981260/s  
968 (5) ! demo/apps/diskbench/diskbench.cc:124 dataOnDisk == "Lorem ipsum"  ok  
969 (5) ! demo/apps/diskbench/diskbench.cc:127 PERF: throughput 501903 ok  
970 (5) ! demo/apps/diskbench/diskbench.cc:128 PERF: request_rate 981260 ok  
971 sc: done.
972 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok
973 + /home/sojka/nul/michal/wvtest/wvnulrun /home/sojka/nul/michal/wvtest/wvtesttest.wv --server --iprelay
974 novaboot: Entering directory `/home/sojka/nul/build'
975 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 -'
976 Testing "Tests WvTest framework itself" in /home/sojka/nul/michal/wvtest/wvtesttest.wv:
977 ÿú,\97¿ÿðÿú,\97ÿÿð  => hostvga <=
978 s0: map self 3c0000 -> 0 size 20000 offset 0 s 0 typed 1
979         => hostkeyb:0,0x60,1,12,2 <=
980 s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1
981 s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1
982         => tracebuffer:32768,1 <=
983         => script_start:1 <=
984         => script_waitchild <=
985 sc: start 0-1 count 1
986 s0: [ 5] module 'sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \
987 s0: ... ' rom://(nd)/tftpboot/sojka/novaboot/bin/apps/wvtesttest.nul'
988 s0: map self be400000 -> b6400000 size 1000000 offset 0 s 0 typed 3
989 s0: [ 5] using memory: 16 MB (1000000) at be400000
990 s0: [ 5] creating PD on CPU 1
991 kb: receive() failed at 325 -- buggy keyboard?
992 s0: [ 1] module 'namespace::/s0 name::/s0/admission name::/s0/timer ||' \
993 s0: ... ' embedded://admission.nul top '
994 s0: map self be000000 -> b6300000 size 100000 offset 0 s 0 typed 1
995 s0: [ 1] using memory: 0 MB (da000) at be000000
996 s0: [ 1] creating PD on CPU 2
997 s0: [ 1, 2040e] pagefault 48/0 for 800048c1 err 4 at 800048c1
998 s0: [ 1, 2040e] map 48/6 for 800048c1 err 4 at 800048c1
999 s0: [ 5, 2140e] pagefault 48/0 for 80001c6b err 4 at 80001c6b
1000 sc: wait for child 5
1001 s0:     => INIT done <=
1002
1003 s0: [ 5, 2140e] map 48/5 for 80001c6b err 4 at 80001c6b
1004 tb: client data 1d000 guid 5 parent 633
1005 (5) ! michal/wvtest/wvtesttest.cc:28 1  ok  
1006 (5) ! michal/wvtest/wvtesttest.cc:29 1 == 1  ok  
1007 (5) ! michal/wvtest/wvtesttest.cc:30 1 != 2  ok  
1008 (5) ! michal/wvtest/wvtesttest.cc:31 1 < 2  ok  
1009 (5) ! michal/wvtest/wvtesttest.cc:33 "hello" == "hello"  ok  
1010 (5) ! michal/wvtest/wvtesttest.cc:34 "hello" != "hello2"  ok  
1011 (5) ! michal/wvtest/wvtesttest.cc:39 NOT(strstr(cmdline, "fail"))  ok  
1012 sc: done.
1013 ! /home/sojka/nul/michal/wvtest/wvnulrun: $tests_executed > 0  ok