2013-05-16 23:03:38 +00:00
|
|
|
# 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 := \
|
2013-05-21 17:16:30 +00:00
|
|
|
unistd.h \
|
2013-05-24 23:35:29 +00:00
|
|
|
pi.h \
|
2013-05-16 23:03:38 +00:00
|
|
|
ack/config.h
|
|
|
|
|
|
|
|
|
|
platform-libsys := \
|
|
|
|
|
_hol0.s \
|
2013-05-25 22:28:47 +00:00
|
|
|
errno.s \
|
2013-05-24 23:35:29 +00:00
|
|
|
phys_to_user.s \
|
|
|
|
|
user_to_phys.s \
|
|
|
|
|
uart.s \
|
2013-05-25 22:28:47 +00:00
|
|
|
creat.c \
|
|
|
|
|
close.c \
|
|
|
|
|
open.c \
|
|
|
|
|
read.c \
|
2013-05-24 23:35:29 +00:00
|
|
|
write.c \
|
2013-05-25 22:28:47 +00:00
|
|
|
isatty.c \
|
|
|
|
|
brk.c \
|
2013-05-16 23:03:38 +00:00
|
|
|
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
|
|
|
|
|
|
2013-05-19 22:33:29 +00:00
|
|
|
$(eval $(build-rpi-boot-impl))
|
2013-05-16 23:03:38 +00:00
|
|
|
|
