| /branches/arm/kernel/arch/arm32/include/asm.h |
|---|
| 64,7 → 64,6 |
| extern void interrupts_restore(ipl_t ipl); |
| extern ipl_t interrupts_read(void); |
| #endif |
| /** @} |
| /branches/arm/kernel/arch/arm32/src/exception.c |
|---|
| File deleted |
| /branches/arm/kernel/arch/arm32/Makefile.inc |
|---|
| 78,6 → 78,5 |
| arch/$(ARCH)/src/aux_print/printf.c \ |
| arch/$(ARCH)/src/aux_print/io.c \ |
| arch/$(ARCH)/src/console.c \ |
| arch/$(ARCH)/src/drivers/msim_gxemul.c \ |
| arch/$(ARCH)/src/exception.c |
| arch/$(ARCH)/src/drivers/msim_gxemul.c |