Genode 16.08 nova.iso rebooting on real Core 2 Duo after relocating modules

[Paul Dufresne]

I thought rebooting computer as soon has coming to boot line was for
old low memories computer
only, but I get it with nova.iso burnt on a CD on my Core 2 Duo, 2 GB
(well 3 GB, but 2 Gb
memory stick recognized as only 1 Gb + one other 1 Gb).

Capture log with null-modem RS232:

Bender: Hello World.
Need 05df2000 bytes to relocate modules.
Relocating to 7980d000:
Copying 483168 bytes...
Copying 460412 bytes...
Copying 19947520 bytes...
Copying 256000 bytes...
Copying 552960 bytes...
Copying 9390080 bytes...
Copying 3553280 bytes...
Copying 293864 bytes...
Copying 93356 bytes...
Copying 404216 bytes...
Copying 435168 bytes...
Copying 513708 bytes...
Copying 422696 bytes...
Copying 501760 bytes...
Copying 876148 bytes...
Copying 93612 bytes...
Copying 303800 bytes...
Copying 7323460 bytes...
Copying 5039116 bytes...
Copying 4994372 bytes...
Copying 34148 bytes...
Copying 229812 bytes...
Copying 176200 bytes...
Copying 157940 bytes...
Copying 23572 bytes...
Copying 1078412 bytes...
Copying 616068 bytes...
Copying 26033700 bytes...
Copying 3222864 bytes...
Copying 558540 bytes...
Copying 434872 bytes...
Copying 51200 bytes...
Copying 879773 bytes...
Copying 582 bytes...
Copying 19768 bytes...
Copying 94460 bytes...
Copying 418916 bytes...
Copying 478944 bytes...
Copying 164608 bytes...
Copying 457964 bytes...
Copying 412840 bytes...
Copying 544356 bytes...
Copying 1253468 bytes...
Copying 407104 bytes...
Copying 453048 bytes...
Copying 607380 bytes...
Copying 419008 bytes...
Copying 448912 bytes...
Copying 381588 bytes...
Copying 412840 bytes...
Copying 411736 bytes...
Copying 534440 bytes...
Copying 9589 bytes...
Copying 909276 bytes...
Copying 114820 bytes...

computer reboots here

paul at ...445...:~$ cat /proc/cpuinfo
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Core(TM)2 CPU          6300  @ 1.86GHz
stepping : 6
microcode : 0x44
cpu MHz : 1860.497
cache size : 2048 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov
pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx
lm constant_tsc arch_perfmon pebs bts nopl aperfmperf eagerfpu pni
dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm lahf_lm
tpr_shadow dtherm
bugs :
bogomips : 3720.99
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:

processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Core(TM)2 CPU          6300  @ 1.86GHz
stepping : 6
microcode : 0x44
cpu MHz : 1860.497
cache size : 2048 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov
pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx
lm constant_tsc arch_perfmon pebs bts nopl aperfmperf eagerfpu pni
dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm lahf_lm
tpr_shadow dtherm
bugs :
bogomips : 3721.29
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:

paul at ...445...:~$ cat /proc/meminfo
MemTotal:        2041768 kB