[Barrelfish-users] Problem of booting barrelfish on arm board
dengguangxing at huawei.com
Mon Jun 24 05:17:47 CEST 2013
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.
More information about the Barrelfish-users