4 Commits

Author	SHA1	Message	Date
Christian Helmuth	8e205e0324	sel4: assignment of BOARD as effective override ... Issue #3792	2020-06-30 09:11:57 +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
Stefan Kalkowski	3d727a403f	sel4: update tools to currently used version 9.0.x ... Until now, Genode referenced a fork of the outdated elfloader-tool to enable bootstrapping of sel4 on ARM platforms. Because the elfloader is inherently dependent on the used platforms newer ARM versions supported by the kernel could not be loaded by the outdated elfloader. This commit uses a fresh fork of the nowadays used sel4_tools repository. Ref #3251	2019-04-01 19:33:49 +02:00
Alexander Boettcher	da5441292a	sel4: add Wandboard Quad (iMX6) support ... Issue #2451	2017-08-17 11:04:21 +02:00