Reporting Bugs
From TUDOS-Wiki
In order to be able to help a bug report including the following information should be send to l4-hackers@os.inf.tu-dresden.de
- General information on the bug
- What happens?
- When does it happen?
- Can it be reproduced? How?
- General information on the environment, especially containing:
- used hardware
- used tools (compilers, utilities, ...)
- used software (Fiasco version, L4Env version (which OTC Snapshot, which SVN tag, which patchlevel?)
- Error messages and logs
- a complete log is appreciated
- Configuration files for
- Fiasco
- L4Linux (if invoked)
- dynamic startup at Loader (if invoked)
- How did you start the test case?
- GRUB menu.lst entry OR
- Fiasco UX command line
- All patches applied to our source code.
- Source code of the applications triggering the bug (unless this source code can already be obtained from another source - in that case point us at this source.)
- Provide any additional information that you think might help to understand the bug.
- In some cases, we may not be able to reproduce the problem locally just using sources. In this case, provide us with the binaries triggering the bug. A frozen VMWare image with the bug can also be helpful.