Building and using DROPS components

Documentation, or lack thereof

Unfortunately, due to the research-project nature of DROPS, there isn't much documentation on how to use the DROPS system. Currently, to get a component running, your best bet is to visit that project's webpage and look for setup information there.

The Fiasco website or the L4Linux website should be a good start.

Reporting a bug in DROPS

To report a bug in DROPS, please use the l4-hackers mailing list.


Last modified: