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