[Barrelfish-users] Problem of booting barrelfish on arm board

Gerd Zellweger gerd.zellweger at inf.ethz.ch
Mon Jun 24 08:34:36 CEST 2013

Hello Dengguangxing,

Can you show us the menu.lst file you use for booting (or in case you don't
parse a menu.lst file for your arm boot-up: which binaries do you load and
what are the arguments your passing to the binaries)?


On Mon, Jun 24, 2013 at 5:17 AM, Dengguangxing <dengguangxing at huawei.com>wrote:

> Hi all,
> We're working on running barrelfish on an armv7 board(not pandaboard).
> Now, we have gone through kernel boot-up, and reach user_space. We load
> modules like pandaboard do,
> include cpu, init, mem_server, monitor, ramfsd, spawnd, startd, skb and
> memtest.
> The problem is that we stuck with print-message "skb.0: waiting for: all
> spawnds_up" and "skb.0: waiting for: skb".
> Trace the code we find module spawnd stops at
> main()->bsp_bootup()->skb_client_connect()->nameservice_blocking_lookup("skb",
> &iref);
> module startd stops at
> main()->nsb_wait()->nameservice_blocking_lookup("all_spawnds_up", NULL).
> Looking forward to get the reason of this problem, we'll be grateful for
> helping resolve this.
> sincerely
> Deng Guangxing
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130624/308842eb/attachment.html 

More information about the Barrelfish-users mailing list