[Barrelfish-users] Problem of booting barrelfish on arm board
gerd.zellweger at inf.ethz.ch
Mon Jun 24 08:34:36 CEST 2013
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
> 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
> 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.
> Deng Guangxing
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Barrelfish-users