hiworld example

[Martin Pohlack]

Udo A. Steinberg wrote:
> On Tue, 19 Dec 2006 09:38:39 -0800 (PST) Shakthi Kannan (SK) wrote:
> 
> SK>   ./fiasco -l hiworld
> SK> 
> SK> *hiworld | [5.0]
> SK> l4rm/lib/src/config.c:103:l4rm_get_dsm():
> SK> *hiworld |  L4RM: no dataspace manager found!
> 
> You forgot to load the servers that your hiworld program depends upon; l4rm
> being one of them. You'll have to load them via "-l" as well.

More clearly, the l4rm lib requires a dataspace providing server, such
as dm_phys.

Cheers,
Martin