[Barrelfish-users] barrelfish - boot problems

Vishwas K.M. vishwaskm2000 at yahoo.com
Thu Dec 19 13:10:49 CET 2013


Hello All,
 
I am trying to boot up the barrelfish OS through tftp setup,
The OS boots from the menu list all the modules list and gets stuck with the following message - Below is the boot sequence extract - 
------------
monitor: synchronizing clocks
spawnd.0: spawning /x86_64/sbin/pci on core 0
startd.0: starting app /x86_64/sbin/serial on core 0
spawnd.0: spawning /x86_64/sbin/serial on core 0
startd.0: starting app /x86_64/sbin/fish on core 0
spawnd.0: spawning /x86_64/sbin/fish on core 0
No bootscript
skb.0: waiting for: pci
skb.0: waiting for: serial

 
The same binaries boot up (with a similar menu list) to the fish prompt in my local set-up.
Below is the boot sequence in the local set-up - 
 
------
------
------
root  (nd)
 Filesystem type is tftp, using whole disk
configfile (nd)/menu.lst
TFTP error 1 (File not found)
  Booting 'Barrelfish'------
root (nd)
 Filesystem type is tftp, using whole disk
kernel /x86_32/sbin/cpu loglevel=4
   [Multiboot-elf, <0x100000:0x282b4:0xc32bdd>, shtab=0xd5b550, entry=0x10000c]
module /x86_32/sbin/cpu loglevel=4
   [Multiboot-module @ 0xdd6000, 0xa4217 bytes]
module /x86_32/sbin/init
   [Multiboot-module @ 0xe7b000, 0x32361f bytes]
module /x86_32/sbin/mem_serv
   [Multiboot-module @ 0x119f000, 0x2fa4e5 bytes]
module /x86_32/sbin/monitor
   [Multiboot-module @ 0x149a000, 0x46a098 bytes]
module /x86_32/sbin/ramfsd boot
   [Multiboot-module @ 0x1905000, 0x3538f6 bytes]
module  /x86_32/sbin/skb boot
   [Multiboot-module @ 0x1c59000, 0x7d64b5 bytes]
modulenounzip /skb_ramfs.cpio.gz nospawn
   [Multiboot-module @ 0x2430000, 0x9f914 bytes]
module  /x86_32/sbin/kaluga boot
   [Multiboot-module @ 0x24d0000, 0x5af921 bytes]
module  /x86_32/sbin/acpi boot
   [Multiboot-module @ 0x2a80000, 0x58dba1 bytes]
module  /x86_32/sbin/spawnd boot
   [Multiboot-module @ 0x300e000, 0x52d691 bytes]
module  /x86_32/sbin/startd boot
   [Multiboot-module @ 0x353c000, 0x4e37fd bytes]
module /x86_32/sbin/routing_setup boot
   [Multiboot-module @ 0x3a20000, 0x3269a4 bytes]
module /x86_32/sbin/pci auto
   [Multiboot-module @ 0x3d47000, 0x417e74 bytes]
module /x86_32/sbin/serial
   [Multiboot-module @ 0x415f000, 0x314e0e bytes]
module /x86_32/sbin/fish
   [Multiboot-module @ 0x4474000, 0x54cf39 bytes]
Kernel starting at address 0x80100000
Barrelfish CPU driver starting on x86_32 core 0
kernel 0: Measured 999998298 APIC timer counts in one RTC second, 1442063 data points.
kernel 0: Considerable TSC jitter detected! 14357 ticks on average.
kernel 0: Measured 2999406 TSC counts per ms, 99 data points. Average jitter 14357 TSC ticks.
spawn module: x86_32/sbin/init
init: invoked as: init 2097152
Spawning memory server (x86_32/sbin/mem_serv)...
Spawning monitor (x86_32/sbin/monitor)...
monitor: invoked as: x86_32/sbin/monitor 327680
RAM allocator initialised, 929 MB (of 945 MB) available
Spawning ramfsd on core 0
ramfsd.0: pre-populating from boot image...
ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz
ramfsd.0: ready
Spawning skb on core 0
Spawning /x86_32/sbin/kaluga on core 0
Spawning /x86_32/sbin/acpi on core 0
Spawning /x86_32/sbin/spawnd on core 0
Spawning /x86_32/sbin/startd on core 0
Spawning /x86_32/sbin/routing_setup on core 0
Kaluga running on x86.
skb.0: waiting for: all_spawnds_up
Monitor 0: booting x86_32 core 1 as '/x86_32/sbin/cpu loglevel=4'
Kernel starting at address 0x91001000
Barrelfish CPU driver starting on x86_32 core 1
Installing fixed event handler for power button
kernel 1: Considerable TSC jitter detected! 8911751 ticks on average.
kernel 1: Measured 7692767 TSC counts per ms, 99 data points. Average jitter 8911751 TSC ticks.
spawn module: monitor
monitor: invoked as: monitor 0 chanid=0 archid=0
Spawning spawnd on core 1
all 2 monitors up
monitor: synchronizing clocks
spawnd.0: spawning /x86_32/sbin/pci on core 0
pci.0: No PCIe found, continue.
startd.0: starting app /x86_32/sbin/serial on core 0
spawnd.0: spawning /x86_32/sbin/serial on core 0
startd.0: starting app /x86_32/sbin/fish on core 0
skb.0: >>>>>>passing debug stmts: pci
spawnd.0: spawning /x86_32/sbin/fish on core 0
No bootscript
skb.0: >>>>>>passing debug stmts: serial
pci.c: pci_program_bridges(): SKB returned error code 2
SKB error returned: instantiation fault in bignum(_112123integer overflow in fix(-8000000000.0, _112217)
, _112157)
SKB output:
WARNING: CONTINUING, HOWEVER PCI DEVICES WILL BE UNUSABLE
fish v0.2 -- pleased to meet you!
File /init.fish not found
available commands:
help           print_cspace   quit           ps             demo
pixels         mnfs           oncore         reset          poweroff
skb            mount          ls             cd             pwd
touch          cat            cat2           dd             cp
rm             mkdir          rmdir          setenv         src
printenv       free
>
------
------
------
Any pointers, please advise - 
 
Thanks in advance,
Vishwas KM
-----------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20131219/d0156bac/attachment.html 


More information about the Barrelfish-users mailing list