# Raspberry Pi board-specific definitions

HAIKU_BOARD_DESCRIPTION = "Raspberry Pi" ;
HAIKU_BOOT_PLATFORM = raspberrypi_arm ;

#
# Various hardcoded addresses
#

HAIKU_BOARD_LOADER_BASE = 0x0 ;

HAIKU_BOARD_BOOT_ARCHIVE_BASE = 0x04000000 ;
HAIKU_BOARD_BOOT_ARCHIVE_SIZE = 0x00400000 ;
	# TODO: needs to be configured in the config.txt
	#	ramfsfile=haiku-floppyboot.tgz and ramfsaddr=x

#
# 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_CCFLAGS_$(HAIKU_PACKAGING_ARCH) += -mtune=arm1176jzf-s ;
HAIKU_C++FLAGS_$(HAIKU_PACKAGING_ARCH) += -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_$(HAIKU_PACKAGING_ARCH) +=
	-Wl,-z -Wl,max-page-size=0x1000
	-Wl,-z -Wl,common-page-size=0x1000 ;