#!/bin/bash

# Platforms Distributions
ND_PLATFORMS=('gnu+linux_nd') # 'gnu+hurd_d'
DD_PLATFORMS=('gnu+linux_dd' 'gnu+linux-arm_dd') # 'gnu+hurd_dd'
PLATFORMS=("${ND_PLATFORMS[@]}" "${DD_PLATFORMS[@]}")