[Barrelfish-users] Help needed! Barrelfish pci and networking fail on qemu x86_32

[ZHANGTIAN]

Hi all:

We were trying Barrelfish networking on qemu x86_32, but failed and saw below error message when booting :

pci.c: pci_program_bridges(): SKB returned error code 2
SKB error returned: instantiation fault in bignum(_55945integer overflow in fix(-8000000000.0, _56039)
, _55979)

SKB output: 
WARNING: CONTINUING, HOWEVER PCI DEVICES WILL BE UNUSABLE
Initializing RTL8029(AS)...
This is not a recognized rtl8029as: ID is 00:ff!
############################################
For service [rtl8029] MAC= 00:00:00:00:00:00
service [rtl8029_0] exported at iref 19


Wonder if there's bug in SKB module? Can anyone help on this? 

Thx very much!
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20121126/a4f93469/attachment.html