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

[Dengguangxing]

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