]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/bootstrap/server/src/Makefile.platform
26341e6535179ecac014b0a3159b71bea5f074e2
[l4.git] / l4 / pkg / bootstrap / server / src / Makefile.platform
1
2 # ARM platforms
3 SUPPORT_CC_arm-sa1000          := platform/sa1000.cc
4 SUPPORT_CC_arm-pxa             := platform/pxa.cc
5 SUPPORT_CC_arm-integrator      := platform/integrator.cc
6 SUPPORT_CC_arm-rv              := platform/rv.cc
7 SUPPORT_CC_arm-rv_pbx          := platform/rv.cc
8 SUPPORT_CC_arm-rv_vexpress     := platform/rv_vexpress.cc
9 SUPPORT_CC_arm-rv_vexpress_a15 := platform/rv_vexpress.cc
10 SUPPORT_CC_arm-omap3evm        := platform/omap.cc
11 SUPPORT_CC_arm-omap3_am33xx    := platform/omap.cc
12 SUPPORT_CC_arm-beagleboard     := platform/omap.cc
13 SUPPORT_CC_arm-pandaboard      := platform/omap.cc
14 SUPPORT_CC_arm-tegra2          := platform/tegra2.cc
15 SUPPORT_CC_arm-imx21           := platform/imx.cc
16 DEFAULT_RELOC_arm-imx21        := 0x00200000  # because of blob
17 SUPPORT_CC_arm-imx35           := platform/imx.cc
18 SUPPORT_CC_arm-imx51           := platform/imx.cc
19 SUPPORT_CC_arm-imx6            := platform/imx.cc
20 SUPPORT_CC_arm-om              := platform/om.cc
21 SUPPORT_CC_arm-kirkwood        := platform/kirkwood.cc
22 SUPPORT_CC_arm-rpi_a           := platform/rpi.cc
23 SUPPORT_CC_arm-rpi_b           := platform/rpi.cc
24 SUPPORT_CC_arm-exynos4         := platform/exynos.cc
25 SUPPORT_CC_arm-exynos5         := platform/exynos.cc
26
27 # PPC
28 SUPPORT_CC_ppc32-mpc5200       := platform/mpc5200.cc
29
30 # Sparc
31 SUPPORT_CC_sparc-leon3         := platform/leon3.cc
32
33 # x86
34 SUPPORT_CC_x86-pc              := platform/x86_pc.cc
35 SUPPORT_CC_amd64-pc            := platform/x86_pc.cc