generic_ts.idl File Reference

Generic task server interface. More...

Go to the source code of this file.

Namespaces
namespace	l4
Classes
interface	l4::ts
	generic task server interface More...

---

Detailed Description

Generic task server interface.

Date:

06/04/2000

Author:

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