problem starting the hello server

Hi,

I,ve got a problem starting the hello server on top of fiasco. I checked out l4-fiasco from the cvs repository and compiled it.

My menu.lst looks as follows: kernel=(nd)/boot/tftpboot/rehn/rmgr -sigma0 module=(nd)/boot/tftpboot/rehn/main -nojdb module=(nd)/boot/tftpboot/rehn/sigma0 module=(nd)/boot/tftpboot/rehn/hello

When I try to boot l4 rmgr starts, loads the l4 kernel and the sigma0 server but does not load the hello server (I'm not sure if it is loaded but not executed or if it is not loaded but I can not find the code that should load the hello server). Where should the hello server be loaded? Why does the rmgr "exec_load" main and the sigma0 server but not the hello server in function startup() in startup.c?

Thanks, Christian