CC = `pkg-config genode-base --variable cc`
CXX = `pkg-config genode-base --variable cxx`
LD = `pkg-config genode-base --variable ld`
AR = `pkg-config genode-base --variable ar`
CFLAGS += -DFRONTEND_SUPPORTS_RGB565