x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / mips / sibyte / Platform
blobaf117330ce1423084fa179af6f1343f95b33a0e4
2 # These are all rather similar so we consider them a single platform
4 platform-$(CONFIG_SIBYTE_BCM112X)       += sibyte/
5 platform-$(CONFIG_SIBYTE_SB1250)        += sibyte/
6 platform-$(CONFIG_SIBYTE_BCM1x55)       += sibyte/
7 platform-$(CONFIG_SIBYTE_BCM1x80)       += sibyte/
10 # Sibyte SB1250 / BCM1480 family of SOCs
12 cflags-$(CONFIG_SIBYTE_BCM112X) +=                                      \
13                 -I$(srctree)/arch/mips/include/asm/mach-sibyte          \
14                 -DSIBYTE_HDR_FEATURES=SIBYTE_HDR_FMASK_1250_112x_ALL
16 cflags-$(CONFIG_SIBYTE_SB1250)  +=                                      \
17                 -I$(srctree)/arch/mips/include/asm/mach-sibyte          \
18                 -DSIBYTE_HDR_FEATURES=SIBYTE_HDR_FMASK_1250_112x_ALL
20 cflags-$(CONFIG_SIBYTE_BCM1x55) +=                                      \
21                 -I$(srctree)/arch/mips/include/asm/mach-sibyte          \
22                 -DSIBYTE_HDR_FEATURES=SIBYTE_HDR_FMASK_1480_ALL
24 cflags-$(CONFIG_SIBYTE_BCM1x80) +=                                      \
25                 -I$(srctree)/arch/mips/include/asm/mach-sibyte          \
26                 -DSIBYTE_HDR_FEATURES=SIBYTE_HDR_FMASK_1480_ALL
29 # Sibyte BCM91120x (Carmel) board
30 # Sibyte BCM91120C (CRhine) board
31 # Sibyte BCM91125C (CRhone) board
32 # Sibyte BCM91125E (Rhone) board
33 # Sibyte BCM91250A (SWARM) board
34 # Sibyte BCM91250C2 (LittleSur) board
35 # Sibyte BCM91x80 (BigSur) board
37 load-$(CONFIG_SIBYTE_CARMEL)    := 0xffffffff80100000
38 load-$(CONFIG_SIBYTE_CRHINE)    := 0xffffffff80100000
39 load-$(CONFIG_SIBYTE_CRHONE)    := 0xffffffff80100000
40 load-$(CONFIG_SIBYTE_RHONE)     := 0xffffffff80100000
41 load-$(CONFIG_SIBYTE_SENTOSA)   := 0xffffffff80100000
42 load-$(CONFIG_SIBYTE_SWARM)     := 0xffffffff80100000
43 load-$(CONFIG_SIBYTE_BIGSUR)    := 0xffffffff80100000
44 load-$(CONFIG_SIBYTE_LITTLESUR) := 0xffffffff80100000