/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 |