c72eaef8ee
--HG-- branch : dtrg-videocore rename : plat/rpi/libsys/pi_user_to_phys.s => plat/rpi/libsys/pi_fast_mode.s
53 lines
894 B
Makefile
53 lines
894 B
Makefile
# 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 \
|
|
termios.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 \
|
|
pi_fast_mode.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 \
|
|
tcgetattr.c \
|
|
tcsetattr.c \
|
|
select.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))
|
|
|