mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 23:12:24 +00:00
19 lines
462 B
Makefile
19 lines
462 B
Makefile
#
|
|
# \brief Build configurations specific to base-hw and Raspberry Pi
|
|
# \author Norman Feske
|
|
# \date 2013-04-05
|
|
#
|
|
|
|
# denote wich specs are also fullfilled by this spec
|
|
SPECS += hw platform_rpi
|
|
|
|
# configure multiprocessor mode
|
|
PROCESSORS = 1
|
|
|
|
# set address where to link the text segment at
|
|
LD_TEXT_ADDR ?= 0x800000
|
|
|
|
# include implied specs
|
|
include $(call select_from_repositories,mk/spec-hw.mk)
|
|
include $(call select_from_repositories,mk/spec-platform_rpi.mk)
|