| novaboot: Connecting to IP relay... done | |
| <iprelayd: connected> | |
| novaboot: Entering directory `/home/nul/nul/build' | |
| novaboot: Created echo.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 bin/apps/test_ipc.nul echo.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 8. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 8. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 8. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 8. | |
| ***** 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 | |
| [ 2] CORE:0:2: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 | |
| => script_start:1 <= | |
| => script_waitchild <= | |
| => verbose <= | |
| sc: start 0-1 count 1 | |
| s0: map self daff4000 -> b6800000 size 8000 offset 0 s 0 typed 2 | |
| s0: [ 5] module ' sigma0::mem:2 name::/s0/admission name::/s0/log ||' \ | |
| s0: ... ' rom://bin/apps/test_ipc.nul' | |
| s0: map self da800000 -> b6400000 size 200000 offset 0 s 0 typed 1 | |
| s0: [ 5] using memory: 2 MB (200000) at da800000 | |
| s0: [ 5] creating PD on CPU 2 | |
| s0: [ 5, 4284e] pagefault 4c/0 for 800024eb err 14 at 800024eb | |
| sc: wait for child 5 | |
| s0: [ 5, 4284e] b64024eb b6400000+200000 -> order 21: b6400000+200000 | |
| s0: [ 5, 4284e] map 0/1 for 800024eb err 14 at 800024eb | |
| s0: => INIT done <= | |
| |
| s0: [ 5, 4284e] pagefault 4c/0 for bffff006 err 4 at 80001677 | |
| s0: [ 5, 4284e] b6802006 b6802000+1000 -> order 12: b6802000+1000 | |
| s0: [ 5, 4284e] map 0/1 for bffff006 err 4 at 80001677 | |
| tb: client data 3f000 guid 5 parent 925 | |
| (5) Hello | |
| (5) Region count 1 | |
| (5) 0 virt 80000000 end 80200000 size 200000 phys da800000 | |
| (5) | |
| (5) Test output should look like that: | |
| (5) 'tX: ... success/failure - reason: XYZ' | |
| (5) | |
| (5) Test I - IPC aborts | |
| (5) <------ exc pf --------- <------- ipc ------------ | |
| (5) A B C* | |
| (5) 3. dies (unhand. exc) 2. cause pf exc 1. sends ipc to B | |
| (5) 4. kernel sets A dead 5. will die - unhand. pf 6. gets ipc abort | |
| (5) 7. sends ipc to B | |
| (5) 8. gets ipc timeout | |
| [ 2] Killed EC:0xc13bc400 SC:0xc0013700 V:0xe CS:0x1b EIP:0x8000008a CR2:0x0 ERR:0x6 (PT not found) | |
| [ 2] Killed EC:0xc13bc300 SC:0xc0013700 V:0xe CS:0x1b EIP:0x8000009f CR2:0x0 ERR:0x6 (IPC Abort) | |
| (5) A: ... success - reason: return code 0x2 ?= 0x2 | |
| (5) ! alexb/apps/ipc_test/main.cc:127 res == 0U + NOVA_EABORT ok | ok |
| (5) B: ... success - reason: return code 0x1 ?= 0x1 | |
| (5) ! alexb/apps/ipc_test/main.cc:132 res == 0U + NOVA_ETIMEOUT ok | ok |
| (5) C: ... success - reason: return code 0x1 ?= 0x1 | |
| (5) ! alexb/apps/ipc_test/main.cc:137 res == 0U + NOVA_ETIMEOUT ok | ok |
| (5) | |
| (5) Test II - Lookup | |
| (5) success - create_sm - reason: return code 0x0 ?= 0x0 -> sm=0x848 | |
| (5) ! alexb/apps/ipc_test/main.cc:149 res == 0U + NOVA_ESUCCESS ok | ok |
| (5) success - lookup(0x848) - reason: crd.raw=0x84800f should be != 0x0 | |
| (5) ! alexb/apps/ipc_test/main.cc:155 res == 0U + NOVA_ESUCCESS ok | ok |
| (5) ! alexb/apps/ipc_test/main.cc:156 crdout & DESC_RIGHTS_ALL ok | ok |
| (5) success - revoke(0x848) - reason: return code 0x0 ?= 0x0 | |
| (5) ! alexb/apps/ipc_test/main.cc:160 res == 0U + NOVA_ESUCCESS ok | ok |
| (5) success - lookup(0x848) - reason: crd.raw=0x0 should be == 0x0 | |
| (5) ! alexb/apps/ipc_test/main.cc:166 res == 0U + NOVA_ESUCCESS ok | ok |
| (5) ! alexb/apps/ipc_test/main.cc:167 crdout == 0U ok | ok |
| sc: done. | |
| ! /home/nul/nul/michal/wvtest/wvnulrun: $assertions_executed > 0 ok | ok |
| novaboot: Read /home/nul/nul/.novaboot | |