how-to questions

[Adam Lackorzynski]

On Mon Oct 09, 2006 at 16:15:20 +0200, Ratko Rudiè wrote:
> 1. Can DOpE write a log anywhere on filesystem?

What sort of log? DOpE doesn't know anything about a filesystem. All it
does is printing some status messages about itself to the log system,
which usually goes out via the serial line.

> 2. Where can I see how much memory I can assign to vmlinuz (how much memory 
> uses DOpE and L4)?

L4Linux can be given the 'mem=xx' option in the loader config file, like
in native Linux. With 'L4', do you mean the kernel? The amount of memory
taken by the kernel is configured in the kernel itself and is usually
some percent of the system memory up to some maximum. Currently it's
something around 6%, iirc.

> 4. How can I run more that one Linux process?

Easily. Norman already mentioned the 'run' utility. Just start L4Linux
another time. You should make sure that the second L4Linux is not
touching any hardware the first one is already using, or someone else.
Switching off PCI in L4Linux is a good start.

> 5. Can I use pistachio in place of fiasco? If so, how?

Not really. Pistachio and Fiasco implement different APIs so that
software that runs on one kernel does not run on the other and vice
versa.

> 6. How do I halt L4 and DOpE?

This is only relevant if one has volatile data somewhere. E.g. you
should make sure to unmount/mount-ro any filesysstems in L4Linux.
Besides that just power off or reset.



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