#
  # SGI-IP32 (O2)
  #
  # Set the load address to >= 80069000 if you want to leave space for symmon,
  # 0xffffffff80004000 for production kernels.  Note that the value must be aligned to
  # a multiple of the kernel stack size or the handling of the current variable
  # will break.
  #
  platform-$(CONFIG_SGI_IP32)	+= sgi-ip32/
  cflags-$(CONFIG_SGI_IP32)	+= -I$(srctree)/arch/mips/include/asm/mach-ip32
  load-$(CONFIG_SGI_IP32)		+= 0xffffffff80004000