Enable system IRQ generation.
[bertos.git] / drv / at91 /
drwxr-xr-x   ..
-rw-r--r-- 8669 at91_aic.h
-rw-r--r-- 4756 at91_pit.h
-rw-r--r-- 13791 at91sam7s.h
-rw-r--r-- 4561 sysirq.c
-rw-r--r-- 2449 sysirq.h
-rw-r--r-- 2681 timer.c
-rw-r--r-- 2596 timer.h