mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 16:14:13 +00:00
e9b3569f44
This functionality is only needed in bootstrap now that kernel and userland share the same address-space. Fix #2699
9 lines
276 B
Makefile
9 lines
276 B
Makefile
INC_DIR += $(BASE_DIR)/../base-hw/src/bootstrap/spec/rpi
|
|
|
|
SRC_CC += bootstrap/spec/rpi/platform.cc
|
|
SRC_CC += bootstrap/spec/arm/arm_v6_cpu.cc
|
|
SRC_CC += hw/spec/32bit/memory_map.cc
|
|
SRC_S += bootstrap/spec/arm/crt0.s
|
|
|
|
include $(BASE_DIR)/../base-hw/lib/mk/bootstrap-hw.inc
|