2018-09-28 20:35:51 +02:00
|
|
|
/*******************************************************************************/
|
|
|
|
|
/* COS2000 - Compatible Operating System - LGPL v3 - Hordé Nicolas */
|
|
|
|
|
/* */
|
2018-12-19 16:13:47 +01:00
|
|
|
|
|
|
|
|
#include "interrupts.h"
|
|
|
|
|
|
|
|
|
|
__attribute__ ((noreturn)) void timer_handler(regs *dump);
|
