mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
b8ba3a7a22
Kernel::Processor was a confusing remnant from the old scheme where we had a Processor_driver (now Genode::Cpu) and a Processor (now Kernel::Cpu). This commit also updates the in-code documentation and the variable and function naming accordingly. fix #1274
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
|
|
NR_OF_CPUS = 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)
|