TUD Logo

TUD Home » ... » User-level environment » L4Env » FAQ

Operating Systems

Frequently asked questions

  1. How do I build L4Env?
  2. Make complains that tempfile is missing. What is this?

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.

Last modified: 6th Jan 2020, 2.15 PM
Author: Webmaster