2 Commits

Author	SHA1	Message	Date
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