Hello :) I was wondering what you think about the server delegation mechanism. What are the pros or the original motivation (memory footprint maybe?), what are the cons (reduced robustness?). Is it even worth the effort?
We do not use it currently. /hurd/magic could use it, but we do not install it on /servers/magic, so the delegation fails. I just tried to install it, but it doesn't seem to work (system boots, but doesn't display the login prompt). Also, the translator doesn't seem to handle the usual filesystem-related rpcs on the /servers/magic node well. I haven't investigated this, but it could be delegating everything to itself (pure speculation). The only other server that supports the delegation is /hurd/fifo-new, which we do not use (but TODO says we should). TODO also wants us to `serverify' /hurd/storeio. Cheers, Justus
