genode

Author	SHA1	Message	Date
Stefan Kalkowski	02d68fdb97	hw: move arm virtualization to generic place Ref #3553	2019-11-21 14:29:36 +01:00
Stefan Kalkowski	fa1aa33f83	hw: sanitize arm trustzone/virtualization services Those services are not SoC specific and have to reside at a generic place. Fix #3445	2019-08-13 12:02:26 +02:00
Stefan Kalkowski	907de9d37f	hw: move timer into board.h Unify the generic timer implementation for ARMv7 and ARMv8. Ref #3445	2019-08-13 12:02:26 +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