/*******************************************************************************/
/* COS2000 - Compatible Operating System - LGPL v3 - Hordé Nicolas */
/* */
#include "interrupts.h"
__attribute__ ((noreturn)) void timer_handler(regs *dump);