Reporting Bugs

From TUDOS-Wiki
Revision as of 11:22, 19 November 2007 by Ron (talk | contribs) (add list of items that should appear in a bug-report)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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

  1. General information on the bug
    • What happens?
    • When does it happen?
    • Can it be reproduced? How?
  2. 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?)
  3. Error messages and logs
    • a complete log is appreciated
  4. Configuration files for
    • Fiasco
    • L4Linux (if invoked)
    • dynamic startup at Loader (if invoked)
  5. How did you start the test case?
    • GRUB menu.lst entry OR
    • Fiasco UX command line
  6. All patches applied to our source code.
  7. 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.)
  8. Provide any additional information that you think might help to understand the bug.
  9. 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.