<div dir="ltr"><div><div><div>Kornilios, Stefan, Gerd,<br><br></div>thank you very much! I am now able to interact with the terminal via the serial line. The patch was necessary, note that maxchild is 2 while busnum is 4.<br><br></div>I am attaching the boot logs as a reference.<br><br></div><div>appreciate your support,<br></div>Antonio<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Oct 31, 2014 at 10:45 AM, Gerd Zellweger <span dir="ltr"><<a href="mailto:gerd.zellweger@inf.ethz.ch" target="_blank">gerd.zellweger@inf.ethz.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Just in case: If changing the bridge program as suggested by Stefan is not helping, you can also try this small patch that essentially disables the assertion.<br>
AFAIK that bound check there, which is reported by ACPI seems to be (at least on our machines) not really a strict limit and can be ignored.<br>
<br>
Gerd<span class=""><br>
<br>
<br>
On 2014-10-31 14:01, Stefan Kaestle wrote:<br>
</span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
Hi Antonio,<br>
<br>
This could be due to a bug in the PCI bus allocation code.<br>
It is worth trying the BIOS given PCI allocation plan instead. For<br>
that, try using the following arguments to PCI in menu.lst<br>
<br>
modulenounzip /harness/sbrinz2_harness/x86_<u></u>64/sbin/pci auto<br></span>
SKB_BRIDGE_PROGRAM=BRIDGE_BIOS<div><div class="h5"><br>
<br>
Also, can you please enable PCI debug output and send the log? For<br>
that, uncomment the following in line 17 of usr/pci/pci_debug.h and<br>
recompile:<br>
<br>
#define PCI_SERVICE_DEBUG 1<br>
<br>
Cheers,<br>
Stefan<br>
<br>
On 10/31/2014 11:36 AM, Kornilios Kourtis wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Antonio,<br>
<br>
[CCing the list and Gerd]<br>
<br>
On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Kornilios,<br>
<br>
I re-started my adventure with Barrelfish this morning with the<br>
last mercurial<br>
release. I am using tftpboot PXE boot (modified grub etc.). I kept<br>
myself from<br>
modify the code at the moment. But I have to confess that I added<br>
a PCI_DEBUG()<br>
before this error and nothing was printed even changing the<br>
loglevel= . Let me<br>
know if you prefer me to send this error on the forum.<br>
<br>
monitor: synchronizing clocks<br>
Kaluga: pci_root_bridge<br>
spawnd.0: spawning /x86_64/sbin/pci on core 0<br>
Kaluga: pci_devices<br>
pci: Unknown commandline option "auto" -- skipping.<br>
startd.0: starting app /x86_64/sbin/serial on core 0<br>
spawnd.0: spawning /x86_64/sbin/serial on core 0<br>
startd.0: starting app /x86_64/sbin/angler on core 0<br>
spawnd.0: spawning /x86_64/sbin/angler on core 0<br>
No bootscript<br>
skb.0: waiting for: pci<br>
skb.0: waiting for: serial0.terminal<br>
assertion "*busnum <= maxchild" failed: file "../usr/pci/pci.c",<br>
line 598,<br>
function: assign_bus_numbers<br>
Aborted<br>
Spawnd up.<br>
</blockquote>
<br>
Sounds like a problem Gerd has been dealing with. If that's the<br>
case, we<br>
might have a quick-fix for it. Gerd?<br>
<br>
cheers,<br>
Kornilios.<br>
</blockquote>
<br>
--<br>
Stefan<br>
</div></div><a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/<u></u>skaestle/</a> [1]<br>
<br>
<br>
Links:<br>
------<br>
[1] <a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/<u></u>skaestle/</a><br>
<br>
______________________________<u></u>_________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.<u></u>ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/<u></u>mailman/listinfo/barrelfish-<u></u>users</a></blockquote>
<br>_______________________________________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Dr. Eng. Antonio Barbalace, PhD<br>Systems Software Research Group (SSRG)<br>Bradley Department of Electrical and Computer Engineering<br>Virginia Tech<br>453 Durham Hall (0111)<br>Blacksburg, VA 24061<br>phone: +1 (540) 231-2494<br>email: <a href="mailto:antoniob@vt.edu" target="_blank">antoniob@vt.edu</a></div>
</div>