# Raspberry Pi board-specific definitions

HAIKU_BOARD_DESCRIPTION = "Raspberry Pi" ;
HAIKU_BOOT_PLATFORM = raspberrypi_arm ;

#
# Various hardcoded addresses
#

HAIKU_BOARD_LOADER_BASE = 0x32000000 ;

#
# Flash image
#

# N/A for Raspberry Pi

#
# mmc/SD image
#

HAIKU_BOARD_FIRMWARE_URL = http://github.com/raspberrypi/firmware/raw/master/boot/ ;
HAIKU_BOARD_FIRMWARE_FILES =
	bootcode.bin
	loader.bin
	arm224_start.elf # start.elf
	LICENSE.broadcom
;

# in MB
HAIKU_BOARD_SDIMAGE_FAT_SIZE = 32 ;
HAIKU_BOARD_SDIMAGE_FAT_FILES =
	$(HAIKU_BOARD_FIRMWARE_FILES)
	haiku_loader
;

# in MB
HAIKU_BOARD_SDIMAGE_SIZE = 256 ;

#
# gcc flags for the specific cpu
#

HAIKU_KERNEL_CCFLAGS += -mtune=arm1176jzf-s ;
HAIKU_KERNEL_C++FLAGS += -mtune=arm1176jzf-s ;
HAIKU_CCFLAGS += -mtune=arm1176jzf-s ;
HAIKU_C++FLAGS += -mtune=arm1176jzf-s ;

# Workaround for ld using 32k for alignment despite forcing it in the config...
# should definitely not be needed!
HAIKU_KERNEL_LINKFLAGS +=
	-Wl,-z -Wl,max-page-size=0x1000
	-Wl,-z -Wl,common-page-size=0x1000 ;
HAIKU_LINKFLAGS +=
	-Wl,-z -Wl,max-page-size=0x1000
	-Wl,-z -Wl,common-page-size=0x1000 ;

