BarrelfishWiki

Troubleshooting Strategies

Inevitably at some point you will need to track down the source of a correctness or performance problem. This page is intended to serve as inspiration and guide that process. Barrelfish has a limited toolkit which makes troubleshooting challenging however you are bound to have fun and learn along the way!

Hints and Advice

  1. debug_printf and sys_print write their output directly to the serial port (with kputchar) whereas printf sends Flounder messages via the terminal emulator to the serial driver. This process may fail during the early stages of initialization or with a misbehaving program. (1)

  2. Does not work in some scenarios: frame pointer should not be disabled, non-zero levels may not work on ARM. (2)

BarrelfishWiki: Troubleshooting (last edited 2014-11-06 16:49:19 by StefanKaestle)