l4/mk/arch/Makeconf.ppc32

   1 CROSS_COMPILE_ppc32        = powerpc-linux-
   2 LD_EMULATION_CHOICE_ppc32  = elf32ppc
   3 OFORMAT_ppc32              = elf32-powerpc
   4 BFD_ARCH_ppc32             = powerpc
   5 L4_KIP_ADDR_ppc32         ?= 0xaffff000
   6 L4_STACK_ADDR_ppc32       ?= 0xb0000000
   7 CCXX_FLAGS_ppc32          += -m32
   8 CC_ppc32                   = $(CROSS_COMPILE)gcc
   9 CXX_ppc32                  = $(CROSS_COMPILE)g++
  10 FC_ppc32                   = $(CROSS_COMPILE)gfortran
  11
  12 SYSTEMS_ABI    += ppc32-l4f
  13 SYSTEMS_PLAIN  += ppc32
  14
  15 QEMU_ARCH_MAP_ppc32   = qemu-system-ppc
  16