# Build script for Raspberry Pi bare-metal executables (using the
# VideoCore IV processor, not the ARM).
#
# © 2013 David Given
# This file is redistributable under the terms of the 3-clause BSD license.
# See the file 'Copying' in the root of the distribution for the full text.

ARCH := vc4
PLATFORM := rpi
OPTIMISATION := -O

D := plat/rpi/

platform-headers := \
	unistd.h \
	pi.h \
	ack/config.h

platform-libsys := \
	_hol0.s \
	errno.s \
	pi_phys_to_user.s \
	pi_user_to_phys.s \
	pi_uart.s \
	creat.c \
	close.c \
	open.c \
	read.c \
	write.c \
	isatty.c \
	brk.c \
	getpid.c \
	kill.c \
	lseek.c \
	time.c \
	signal.c

$(eval $(call build-platform))

define build-rpi-boot-impl
	$(call reset)
	$(call ackfile, $D/boot.s)
	$(call installto, $(PLATIND)/$(PLATFORM)/boot.o)
endef

$(eval $(build-rpi-boot-impl))