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

Dengguangxing dengguangxing at huawei.com
Mon Jun 24 05:17:47 CEST 2013

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.

Deng Guangxing

More information about the Barrelfish-users mailing list