hiworld example

Martin Pohlack mp26 at os.inf.tu-dresden.de
Tue Dec 19 22:00:00 CET 2006

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.


More information about the l4-hackers mailing list