genode

Commit Graph

Author	SHA1	Message	Date
Stefan Kalkowski	9f28f4f803	hw: avoid BASE_DIR relative path definitions Fix #3728	2020-04-17 12:55:13 +02:00
Stefan Kalkowski	875858b2cc	hw: integrate interrupt controllers into board.h Additionally, unify more implementation details in between different usage patterns of ARM's generic interrupt controller (v2) Ref #3445	2019-08-13 12:02:26 +02:00
Stefan Kalkowski	a1e70b9ba4	kernel: differentiate board-specific components Components like kernel, core, and bootstrap that are built for a specific board need to reside inside the same architectural dependent build directory. For instance there are sel4, foc, and hw kernel builds for imx6q_sabrelite and imx7d_sabre, which have to reside inside the same arm_v7 build directory. This commit names those components explicitely, and adapts the run-tool to it. Fix #3316	2019-05-27 14:46:52 +02:00

Author

SHA1

Message

Date

Stefan Kalkowski

9f28f4f803

hw: avoid BASE_DIR relative path definitions

Fix #3728

2020-04-17 12:55:13 +02:00

Stefan Kalkowski

875858b2cc

hw: integrate interrupt controllers into board.h

Additionally, unify more implementation details in between different
usage patterns of ARM's generic interrupt controller (v2)

Ref #3445

2019-08-13 12:02:26 +02:00

Stefan Kalkowski

a1e70b9ba4

kernel: differentiate board-specific components

Components like kernel, core, and bootstrap that are built for a
specific board need to reside inside the same architectural dependent
build directory. For instance there are sel4, foc, and hw kernel builds
for imx6q_sabrelite and imx7d_sabre, which have to reside inside the same
arm_v7 build directory.
This commit names those components explicitely, and adapts the run-tool to it.

Fix #3316

2019-05-27 14:46:52 +02:00

3 Commits