add sdcard to raspi BE kernel
[AROS.git] / rom / kernel / kernel_arch.h
blobbb73cbd522655d6417d4dbcacea2b53a784b0b69
1 /*
2 Copyright © 1995-2013, The AROS Development Team. All rights reserved.
3 $Id$
5 Desc:
6 */
8 /*
9 * Machine-specific definitions.
11 * This file needs to be replaced for every machine. Hosted ports
12 * may share the same file in arch/all-$(ARCH)/kernel/kernel_arch.h
14 * This file is just a sample providing necessary minimum.
17 /* Number of IRQs used in the machine. Needed by kernel_base.h */
18 #define IRQ_COUNT 1
21 * Interrupt controller functions. Actually have the following prototypes:
23 * void ictl_enable_irq(uint8_t num);
24 * void ictl_disable_irq(uint8_t num);
27 #define ictl_enable_irq(irq, base)
28 #define ictl_disable_irq(irq, base)