How do I build L4Env?
There exists an manual on how to build L4Env. Please see the documentation page for details.
Make complains that tempfile is missing. What is this? tempfile creates a unique name at your filesystem and returns this name. Use Google to find the manpage. tempfile seems to be Debian specific, the sources are available here.
