Building device drivers with oskit10_support_l4env

[Adam Lackorzynski]

On Thu Oct 13, 2005 at 11:13:25 +0200, Christian Helmuth wrote:
> > I also plan to implement disk partition and a simple
> > file server. Do those components already exist?
> 
> L4ide includes partition handling but this is not finished. L4Linux always
> uses the complete hard disk.

The last sentence is not really true. A client (e.g. L4Linux) can also
only request and get a partition from the physical disk. This partition
then appears as a block device in the client which can then create
partitions in it (if it wants). The stub has a configration option to
specify what to request.




Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/