| /branches/arm/kernel/arch/arm32/include/drivers/gxemul.h |
|---|
| 30,7 → 30,6 |
| * @{ |
| */ |
| /** @file |
| * @brief GXemul peripheries drivers declarations. |
| */ |
| #ifndef KERN_arm32_GXEMUL_H_ |
| 38,12 → 37,7 |
| #include <console/chardev.h> |
| /** Last interrupt number (beginning from 0) whose status is probed |
| * from interrupt controller |
| */ |
| #define GXEMUL_IRQC_MAX_IRQ 8 |
| /** Timer frequency */ |
| #define GXEMUL_TIMER_FREQ 100 |