Martin Stein 688379d1ed sel4: fix segmentation fault with CCACHE=yes ... Building the elfloader in kernel-sel4.inc has a problem with Genodes CCACHE make variable. When issuing ... ! ./tool/depot/create mstein/bin/*/base-sel4-* CCACHE=yes ..., building the elfloader used to consume all memory of the host system and then run into a segmentation fault: ! make[6]: *** [elfloader/elfloader.o] Segmentation fault (core dumped) This is because the other build system invokes the CCACHE variable as a command in front of the compiler command. If CCACHE is set to 'yes', the 'yes' command is called and produces an endless output into some output file. The problem can be fixed by locally re-setting the CCACHE variable for the 'make ... elfloader' command to 'ccache' (Genode CCACHE==yes) or '' (Genode CCACHE!=yes). Fixes #4212		2021-07-28 11:25:20 +02:00
..
base-sel4.mk	base: extend cache maintainance functionality	2021-06-25 11:43:41 +02:00
core-sel4.mk	kernel: differentiate board-specific components	2019-05-27 14:46:52 +02:00
kernel-sel4-imx6q_sabrelite.mk	sel4: assignment of BOARD as effective override	2020-06-30 09:11:57 +02:00
kernel-sel4-imx7d_sabre.mk	sel4: assignment of BOARD as effective override	2020-06-30 09:11:57 +02:00
kernel-sel4.inc	sel4: fix segmentation fault with CCACHE=yes	2021-07-28 11:25:20 +02:00
ld-sel4.mk	sel4: add Wandboard Quad (iMX6) support	2017-08-17 11:04:21 +02:00
startup-sel4.mk	sel4: add Wandboard Quad (iMX6) support	2017-08-17 11:04:21 +02:00
syscall-sel4-imx6q_sabrelite.mk	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00
syscall-sel4-imx7d_sabre.mk	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00