loader.idl File Reference

Loader interface. More...

Go to the source code of this file.

Namespaces
namespace	l4loader
Data Structures
interface	l4loader::app
	IDL Interface for the loader module. More...
Variables
import< l4/sys/types.h > import< l4/dm_generic/types.h > typedef long	envpage_t [563]
const int	l4loader::MAX_TASK_ID = 16

---

Detailed Description

Loader interface.

Date:

06/10/2001

Author:

Frank Mehnert <fm3@os.inf.tu-dresden.de>