CONFIG_IS_GCC=
CONFIG_CXX=genode-x86-g++
CONFIG_LD=genode-x86-ld