| novaboot: Connecting to IP relay... done | |
| <iprelayd: connected> | |
| novaboot: Entering directory `/home/nul/nul/build' | |
| novaboot: Created bin/apps/utcb_bounds.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/utcb_bounds.nul bin/apps/utcb_bounds.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 9. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 9. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 9. | |
| handle id(3) is not a tty. Not changing mode at /usr/share/perl5/Expect.pm line 393, <> line 9. | |
| ***** 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 | |
| [ 2] CORE:0:2: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 | |
| => 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 -> b6c00000 size 2000 offset 0 s 0 typed 2 | |
| s0: map self daff9000 -> b6800000 size 2000 offset 0 s 0 typed 2 | |
| => script_start:1 <= | |
| => script_waitchild <= | |
| sc: start 0-1 count 1 | |
| s0: map self daff4000 -> b6400000 size 8000 offset 0 s 0 typed 2 | |
| s0: [ 5] module 'namespace::/tmp sigma0::mem:16 name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission ||' \ | |
| s0: ... ' rom://bin/apps/utcb_bounds.nul' | |
| s0: map self 3000000 -> b5000000 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 800021c3 err 14 at 800021c3 | |
| sc: wait for child 5 | |
| s0: [ 5, 4284e] b50021c3 b5000000+1000000 -> order 24: b5000000+1000000 | |
| s0: [ 5, 4284e] map 0/1 for 800021c3 err 14 at 800021c3 | |
| s0: [ 5, 4284e] pagefault 4c/0 for bffff006 err 4 at 800016df | |
| s0: [ 5, 4284e] b6400006 b6400000+1000 -> order 12: b6400000+1000 | |
| s0: [ 5, 4284e] map 0/1 for bffff006 err 4 at 800016df | |
| tb: client data 3f000 guid 5 parent 925 | |
| (5) ! michal/apps/tests/utcb_bounds.cc:36 static_cast<int>(Utcb::STACK_START) = 512 ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:37 static_cast<int>(Utcb::MAX_DATA_WORDS) = 1020 ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:38 static_cast<int>(Utcb::MAX_FRAME_WORDS) = 507 ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:40 size = u.frame_words() = 5 ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:41 (u << 1).frame_words() == size + 1 ok | ok |
| s0: => INIT done <= | |
| |
| (5) ! michal/apps/tests/utcb_bounds.cc:42 (u << Utcb::TypedMapCap(0)).frame_words() == size + 3 ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:44 u.reset() ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:45 (u << *new Array<Utcb::MAX_FRAME_WORDS - 5>()).validate_recv_bounds() ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:46 NOT((u << *new Array<Utcb::MAX_FRAME_WORDS - 4>()).validate_recv_bounds()) ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:48 u.reset() ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:49 for (int i=0; i<(Utcb::MAX_FRAME_WORDS-5)/2; i++) u << Utcb::TypedMapCap(0) ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:50 u.validate_recv_bounds() ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:51 NOT((u << Utcb::TypedMapCap(0)).validate_recv_bounds()) ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:53 u.reset() ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:54 (u << *new Array<(Utcb::MAX_FRAME_WORDS - 5)/2+1>()) ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:55 for (int i=0; i<(Utcb::MAX_FRAME_WORDS-5)/2/2; i++) u << Utcb::TypedMapCap(0) ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:56 u.validate_recv_bounds() ok | ok |
| (5) ! michal/apps/tests/utcb_bounds.cc:57 NOT((u << 0).validate_recv_bounds()) ok | ok |
| sc: done. | |
| ! /home/nul/nul/michal/wvtest/wvnulrun: $assertions_executed > 0 ok | ok |
| novaboot: Read /home/nul/nul/.novaboot | |