Building device drivers with oskit10_support_l4env

Adam Lackorzynski adam at
Thu Oct 13 13:49:21 CEST 2005

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 at

More information about the l4-hackers mailing list