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

[Dengguangxing]

Hi gerd,

Thank you very much for your answer and kindly explain of the background.
It solves our problem.

After modifying this, we successfully run spawnd and startd. However another problem comes out when it comes to memtest,
the print_message is:
 ERROR: spawnd.0 in spawn_with_caps_handler() ../git-barrelfish/usr/spawnd/servi8
 ERROR: spawn
 Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
 Failure: (             fs) The given name does not exist [FS_ERR_NOTFOUND]
 ERROR: startd.0 in spawn_app_domains() ../git-barrelfish/usr/startd/spawn.c:298
 ERROR: spawn of armv7/sbin/memtest failed
 Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
 Failure: (             fs) The given name does not exist [FS_ERR_NOTFOUND]

It is trying to vfs_open() a path, "/arm/sbin/armv7/sbin/memtest", which seems to be an invalid one. So it fails and returns SPAWN_ERR_LOAD.
modifying the path to "armv7/sbin/memtest" manually, module memtest can run successfully.
The path is prefixed with "arm/sbin" in startd: main()->spawn_dist_domains()->spawn_program()->spawn_program_with_caps(). what is the prefix for?

Deng Guangxing

On 2013/6/24 16:22, Gerd Zellweger wrote:
> Hi Dengguangxing,
> 
> I believe there is a small difference to the menu.lst we use for ARM/pandaboard:
> 
> module /armv7/sbin/spawnd boot bootarm=0
> 
> We pass the bootarm=0 argument. To give you a bit of a background on what is going on here:
> Your program halts because it is waiting for the SKB (the constraint solver service) to appear. On x86 we use a constraint solver (the SKB) to store data and reason about the machine. spawnd uses this to figure out on which cores it can boot binaries on. We have not yet ported the constraint solver to ARM, the SKB binary you are loading on ARM is currently only a small datastorage service that is used to provide the barrelfish nameservice. The bootarm=0 essentially lets spawnd know that it can not use the x86 version of the SKB. Therefore, it will not wait for the constraint solver service to appear.
> 
> Gerd
> 
> On Mon, Jun 24, 2013 at 9:42 AM, Dengguangxing <dengguangxing at huawei.com <mailto:dengguangxing at huawei.com>> wrote:
> 
>     Hi Gerd,
> 
>     Arguments we passing to these binaries are:
>     kernel /armv7/sbin/cpu loglevel=4
>     module  /armv7/sbin/init
> 
>     module  /armv7/sbin/mem_serv
>     module  /armv7/sbin/monitor
> 
>     module  /armv7/sbin/ramfsd boot
>     module  /armv7/sbin/skb boot
>     modulenounzip /skb_ramfs.cpio.gz nospawn
>     module  /armv7/sbin/spawnd boot
>     module  /armv7/sbin/startd boot
> 
>     On 2013/6/24 14:34, Gerd Zellweger wrote:
>     > 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)?
>     >
>     > Gerd
>     >
>     >
>     > On Mon, Jun 24, 2013 at 5:17 AM, Dengguangxing <dengguangxing at huawei.com <mailto:dengguangxing at huawei.com> <mailto:dengguangxing at huawei.com <mailto: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 <mailto:Barrelfish-users at lists.inf.ethz.ch> <mailto:Barrelfish-users at lists.inf.ethz.ch <mailto:Barrelfish-users at lists.inf.ethz.ch>>
>     >     https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>     >
>     >
> 
> 
> 
> 
> 
>     _______________________________________________
>     Barrelfish-users mailing list
>     Barrelfish-users at lists.inf.ethz.ch <mailto:Barrelfish-users at lists.inf.ethz.ch>
>     https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> 
>