#
# Description of build platform
#

SPECS ?= genode nova_x86_32