Nova 32 bits on older Pentium 4 computer.

Paul Dufresne dufresnep at ...9...
Tue Jan 22 17:44:12 CET 2013

Ok, thanks for the answers!
I finally did it: search and find my serial null-modem cable.
Which was simply, after all, in one of the drawer of the desk where
the computer was. ;-)

Good news 1) hello tutorial works fine

Good news 2) I understand much better why make run/demo do not work on
this computer
Short answer:
[init -> pci_drv] PCI driver started
I/O memory [0,1000) not available
Local MMIO mapping failed!
[init -> vesa_drv] C++ runtime: Genode::Parent::Service_denied
[init -> vesa_drv] void* abort(): abort called

I guess vesa_drv refused the service to the client because it needed
PCI to work.

As the long answer, I am attaching the log file to this message.
-------------- next part --------------
NOVA Microhypervisor v5-16dd65c (x86_32): Jan 22 2013 11:27:34 [gcc 4.7.2]

modified by Paul version
IDt::build done!
Gsi::setup done!
Acpi setup done!
VGA and Keyb init finished, all init done!
[ 0] CORE:0:0:0 f:2:4:2 [f]               Intel(R) Pentium(R) 4 CPU 2.26GHz
Cpu::init done in bootstrap
about to Msr::write
will create root task
[ 0] before for
[ 0] for done
[ 0] just before ret_user_sysexit()
Hypervisor does not feature VMX
Hypervisor does not feature SVM
Hypervisor info page contains 27 memory descriptors:
detected physical memory: 0x0000000000000000 - size: 0x9f800
use      physical memory: 0x0000000000000000 - size: 0x9f000
detected physical memory: 0x0000000000100000 - size: 0x1fbf0000
use      physical memory: 0x0000000000100000 - size: 0x1fbf0000
detected physical memory: 0x000000001fd00000 - size: 0x180000
use      physical memory: 0x000000001fd00000 - size: 0x180000                   
map multi-boot module: physical 0x018b6000 -> [0x00188000-0x00210230) - core    
map multi-boot module: physical 0x0193f000 -> [0x00213000-0x0021344b) - config  
map multi-boot module: physical 0x01940000 -> [0x00002000-0x0004a75c) - init    
map multi-boot module: physical 0x01989000 -> [0x0004b000-0x00084a80) - timer   
map multi-boot module: physical 0x019c3000 -> [0x00085000-0x000d49ec) - nitpickr
map multi-boot module: physical 0x01a13000 -> [0xb0000000-0xb0064580) - liquid_b
map multi-boot module: physical 0x01a78000 -> [0x00214000-0x002e7d70) - launchpd
map multi-boot module: physical 0x01b4c000 -> [0xb0065000-0xb022ad78) - scout   
map multi-boot module: physical 0x01d12000 -> [0xb022b000-0xb026022c) - testnit 
map multi-boot module: physical 0x01d48000 -> [0xb0261000-0xb02a42b8) - nitlog  
map multi-boot module: physical 0x01d8c000 -> [0xb02a5000-0xb02e0ed4) - pci_drv 
map multi-boot module: physical 0x01dc8000 -> [0xb02e1000-0xb03409f4) - vesa_drv
map multi-boot module: physical 0x01e28000 -> [0xb0341000-0xb037e128) - ps2_drv 
:virt_alloc: Allocator 15cdac dump:                                             
 Block: [00002000,0004b000) size=00049000 avail=00000000 max_avail=00000000     
 Block: [0004b000,00085000) size=0003a000 avail=00000000 max_avail=0002b000     
 Block: [00085000,000d5000) size=00050000 avail=00000000 max_avail=00000000     
 Block: [000d5000,00100000) size=0002b000 avail=0002b000 max_avail=0002b000     
 Block: [00188000,00211000) size=00089000 avail=00000000 max_avail=00000000     
 Block: [00211000,00213000) size=00002000 avail=00000000 max_avail=9fd18000     
 Block: [00213000,00214000) size=00001000 avail=00000000 max_avail=00000000     
 Block: [00214000,002e8000) size=000d4000 avail=00000000 max_avail=9fd18000     
 Block: [002e8000,a0000000) size=9fd18000 avail=9fd18000 max_avail=9fd18000     
 Block: [b0000000,b0065000) size=00065000 avail=00000000 max_avail=9fd18000     
 Block: [b0065000,b022b000) size=001c6000 avail=00000000 max_avail=00000000     
 Block: [b022b000,b0261000) size=00036000 avail=00000000 max_avail=00000000     
 Block: [b0261000,b02a5000) size=00044000 avail=00000000 max_avail=9fd18000     
 Block: [b02a5000,b02e1000) size=0003c000 avail=00000000 max_avail=00000000     
 Block: [b02e1000,b0341000) size=00060000 avail=00000000 max_avail=0fb80000     
 Block: [b0341000,b037f000) size=0003e000 avail=00000000 max_avail=00000000     
 Block: [b037f000,bfeff000) size=0fb80000 avail=0fb80000 max_avail=0fb80000     
 Block: [bff04000,bfffd000) size=000f9000 avail=000f9000 max_avail=000f9000     
 => mem_size=2952192000 (2815 MB) / mem_avail=2946220032 (2809 MB)              
:phys_alloc: Allocator 15c948 dump:                                             
 Block: [00001000,00002000) size=00001000 avail=00001000 max_avail=0009b000     
 Block: [00004000,0009f000) size=0009b000 avail=0009b000 max_avail=0009b000     
 Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=1de8a000     
 Block: [01800000,018b6000) size=000b6000 avail=000b6000 max_avail=000b6000     
 Block: [01e66000,1fcf0000) size=1de8a000 avail=1de8a000 max_avail=1de8a000     
 Block: [1fd00000,1fe80000) size=00180000 avail=00180000 max_avail=00180000     
 => mem_size=507887616 (484 MB) / mem_avail=507887616 (484 MB)                  
:io_mem_alloc: Allocator 16165c dump:                                           
 Block: [0009f000,00100000) size=00061000 avail=00061000 max_avail=00061000     
 Block: [00400000,01800000) size=01400000 avail=01400000 max_avail=01400000     
 Block: [018b6000,01e66000) size=005b0000 avail=005b0000 max_avail=005b0000     
 Block: [1fcf0000,1fd00000) size=00010000 avail=00010000 max_avail=e0181000     
 Block: [1fe80000,00001000) size=e0181000 avail=e0181000 max_avail=e0181000     
 => mem_size=3787071488 (3611 MB) / mem_avail=3787071488 (3611 MB)              
int main(): --- create local services ---                                       
int main(): --- start init ---                                                  
int main(): transferred 484 MB to init                                          
int main(): --- init created, waiting for exit condition ---                    
[init] Could not open file ""                                          
[init -> pci_drv] PCI driver started                                            
I/O memory [0,1000) not available                                               
Local MMIO mapping failed!                                                      
[init -> vesa_drv] C++ runtime: Genode::Parent::Service_denied                  
[init -> vesa_drv] void* abort(): abort called                                  
[init -> launchpad] Could not open file ""                             
[init -> launchpad] Could not open file "config"                                
[init -> timer] Timer::Timeout_scheduler::Timeout_scheduler(Platform_timer*, Ger
[init -> launchpad] Could not obtain config file                                
[init -> ps2_drv] Using keyboard with scan code set 2.     

More information about the users mailing list