Definitions and tools for logging with ChibiOS and Linux