You should have downloadded and uncompressed the packages OSKit, OSKit 1.0,
L4Linux 2.2 and L4Env, thus having the directories oskit/, oskit10/,
linux22/ and l4/.

Switch to the l4/ directory, do a "make config". Adapt at least
"DROPS_STDDIR" setting at `Paths and Directories', as this is the directory
where the components will be installed on a "make install".

Still in l4/, do a "make". This builds everything available as sources: the
tools, C libraries and the L4Env packages. It also builds the documentation.

For a comprehensive compilation guide, switch into l4/doc/building-howto/
and do a "make". See the building.ps file then.


Operating Systems Research Group
Technische Universitt Dresden
drops@os.inf.tu-dresden.de
