#
# Description of build platform
#

SPECS ?= genode nova x86_32