| wvtest: ignore exit patterns | |
| novaboot: Read /home/nul/nul/.novaboot | |
| novaboot: Connecting to IP relay... done | |
| <iprelayd: connected> | |
| novaboot: Entering directory `/home/nul/nul/build' | |
| novaboot: Created bin/apps/logdisk.nulconfig | |
| novaboot: Created bin/apps/disk_name_check.nulconfig | |
| novaboot: Created /home/nul/nul/build/config-novaboot | |
| novaboot: Running: rsync -RLp --chmod=Dg+s,ug+w,o-w,+rX --rsync-path="umask 002 && rsync" bin/apps/hypervisor bin/apps/sigma0.nul imgs/gpt-disk bin/apps/logdisk.nul bin/apps/logdisk.nulconfig bin/apps/disk_name_check.nul bin/apps/disk_name_check.nulconfig config-novaboot rtime.felk.cvut.cz:/srv/tftp/novaboot | |
| novaboot: Reseting the test box... done | |
| novaboot: Serial line interaction (press Ctrl-C to interrupt)... | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 17. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 17. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 17. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 17. | |
| ***** WHICH IDE Returns: Pri/Sec:0, Mas/Slave: 0 | |
| SetSataPortString, Port# 0 | |
| ***** Found a match!!! Drive= 0 | |
| GetDriveInfo() | |
| GDI - Found HDD. | |
| NOVA Microhypervisor v6-7ebd956 (x86_32): Apr 26 2015 01:00:34 [gcc 4.7.2] | |
| |
| [ 0] CORE:0:0:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz | |
| [ 3] CORE:0:3:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz | |
| [ 1] CORE:0:1:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz | |
| [ 2] CORE:0:2:0 6:3a:9:1 [12] Intel(R) Core(TM) i5-3550 CPU @ 3.30GHz | |
| => verbose <= | |
| => hostkeyb:0,0x60,1,12,2 <= | |
| s0: map self 60000 -> 0 size 1000 offset 0 s 0 typed 1 | |
| s0: map self 64000 -> 0 size 1000 offset 0 s 0 typed 1 | |
| s0: map self daffb000 -> b6800000 size 2000 offset 0 s 0 typed 2 | |
| s0: map self daff9000 -> b6400000 size 2000 offset 0 s 0 typed 2 | |
| => vdisk:rom://imgs/gpt-disk <= | |
| s0: map self daf80000 -> b6000000 size 80000 offset 0 s 0 typed 1 | |
| vdisk: Opened 'imgs/gpt-disk' 0x40000 bytes. | |
| vdisk: Attached as vdisk 0. | |
| => vdisk:rom://imgs/gpt-disk <= | |
| s0: map self daf40000 -> b5c00000 size 80000 offset 0 s 0 typed 2 | |
| vdisk: Opened 'imgs/gpt-disk' 0x40000 bytes. | |
| vdisk: Attached as vdisk 1. | |
| => service_disk <= | |
| disk: Added '0' | |
| disk: Added '1' | |
| Constructing service /disk... | |
| Service /disk registered. | |
| => script_start:1 <= | |
| => script_waitchild <= | |
| => script_start:2 <= | |
| => script_waitchild <= | |
| sc: start 0-1 count 1 | |
| s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission name::/s0/disk diskadd disk::0 sigma0::drive:1 ||' \ | |
| s0: ... ' rom://bin/apps/logdisk.nul' | |
| s0: map self 3000000 -> b4000000 size 1000000 offset 0 s 0 typed 1 | |
| s0: [ 5] using memory: 16 MB (1000000) at 3000000 | |
| s0: [ 5] creating PD on CPU 2 | |
| s0: [ 5, 4284e] pagefault 4c/0 for 800027df err 14 at 800027df | |
| sc: wait for child 5 | |
| s0: [ 5, 4284e] b40027df b4000000+1000000 -> order 24: b4000000+1000000 | |
| s0: [ 5, 4284e] map 0/1 for 800027df err 14 at 800027df | |
| s0: [ 5, 4284e] pagefault 4c/0 for bffff006 err 4 at 800014d9 | |
| s0: [ 5, 4284e] b5c1f006 b5c1f000+1000 -> order 12: b5c1f000+1000 | |
| s0: [ 5, 4284e] map 0/1 for bffff006 err 4 at 800014d9 | |
| disk: Added '0p1' 'uuid:29485cf6-e774-44c4-bd61-bfb3208094c0' 'type:0fc63daf-8483-4772-8e79-3d69d8477de4' 'name:First partition' | |
| disk: Added '0p2' 'uuid:5fa25944-8dca-42c6-8b06-b472add7af4a' 'type:e6edd274-2a2c-11e1-8efb-001a4b6fb08a' 'name:Second partition' | |
| disk: Added '0p3' 'uuid:8bab31be-cdbb-4bca-8107-67de693acfb8' 'type:0fc63daf-8483-4772-8e79-3d69d8477de4' 'name:Third partition' | |
| disk: Added '1p1' 'uuid:29485cf6-e774-44c4-bd61-bfb3208094c0' 'type:0fc63daf-8483-4772-8e79-3d69d8477de4' 'name:First partition' | |
| s0: => INIT done <= | |
| |
| disk: Added '1p2' 'uuid:5fa25944-8dca-42c6-8b06-b472add7af4a' 'type:e6edd274-2a2c-11e1-8efb-001a4b6fb08a' 'name:Second partition' | |
| disk: Added '1p3' 'uuid:8bab31be-cdbb-4bca-8107-67de693acfb8' 'type:0fc63daf-8483-4772-8e79-3d69d8477de4' 'name:Third partition' | |
| sc: start 1-1 count 1 | |
| s0: [ 6] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission name::/s0/disk disk::type:0fc63daf-8483-4772-8e79-3d69d8477de4 ||' \ | |
| s0: ... ' rom://bin/apps/disk_name_check.nul' | |
| s0: map self 2000000 -> b3000000 size 1000000 offset 0 s 0 typed 1 | |
| s0: [ 6] using memory: 16 MB (1000000) at 2000000 | |
| s0: [ 6] creating PD on CPU 3 | |
| s0: [ 6, 4306e] pagefault 4c/0 for 800020cd err 14 at 800020cd | |
| sc: wait for child 6 | |
| s0: [ 6, 4306e] b30020cd b3000000+1000000 -> order 24: b3000000+1000000 | |
| s0: [ 6, 4306e] map 0/1 for 800020cd err 14 at 800020cd | |
| s0: [ 6, 4306e] pagefault 4c/0 for bffff006 err 4 at 800015bd | |
| s0: [ 6, 4306e] b5c20006 b5c20000+1000 -> order 12: b5c20000+1000 | |
| s0: [ 6, 4306e] map 0/1 for bffff006 err 4 at 800015bd | |
| tb: client data 3f000 guid 6 parent 928 | |
| (6) ! michal/apps/logdisk/check.cc:35 count = 4 ok | ok |
| Checking 0 for uuid:29485cf6-e774-44c4-bd61-bfb3208094c0: 1 | |
| (6) ! michal/apps/logdisk/check.cc:37 disk.check_name(*BaseProgram::myutcb(), i, "uuid:29485cf6-e774-44c4-bd61-bfb3208094c0", match) ok | ok |
| (6) Match for disk 0 | |
| Checking 1 for uuid:29485cf6-e774-44c4-bd61-bfb3208094c0: 0 | |
| (6) ! michal/apps/logdisk/check.cc:37 disk.check_name(*BaseProgram::myutcb(), i, "uuid:29485cf6-e774-44c4-bd61-bfb3208094c0", match) ok | ok |
| (6) No match for disk 1 | |
| Checking 2 for uuid:29485cf6-e774-44c4-bd61-bfb3208094c0: 1 | |
| (6) ! michal/apps/logdisk/check.cc:37 disk.check_name(*BaseProgram::myutcb(), i, "uuid:29485cf6-e774-44c4-bd61-bfb3208094c0", match) ok | ok |
| (6) Match for disk 2 | |
| Checking 3 for uuid:29485cf6-e774-44c4-bd61-bfb3208094c0: 0 | |
| (6) ! michal/apps/logdisk/check.cc:37 disk.check_name(*BaseProgram::myutcb(), i, "uuid:29485cf6-e774-44c4-bd61-bfb3208094c0", match) ok | ok |
| (6) No match for disk 3 | |
| sc: done. | |
| ! /home/nul/nul/michal/apps/logdisk/gpt.wv:13 grep ^disk: Added gpt.log ok | ok |
| ! /home/nul/nul/michal/apps/logdisk/gpt.wv:14 cat ok | ok |
| ! /home/nul/nul/michal/apps/logdisk/gpt.wv:24 diff -u expected.log disks.log ok | ok |
| ! /home/nul/nul/michal/apps/logdisk/gpt.wv:26 grep -i 'match for disk' gpt.log > match.log ok | ok |
| ! /home/nul/nul/michal/apps/logdisk/gpt.wv:27 cat ok | ok |
| ! /home/nul/nul/michal/apps/logdisk/gpt.wv:33 diff -u expected.log match.log ok | ok |
| ! /home/nul/nul/michal/wvtest/wvnulrun: $assertions_executed > 0 ok | ok |
| novaboot: Read /home/nul/nul/.novaboot | |