# -*- sh -*-
#
# PLATFORM DESCRIPTION FILE
#

# include common linux description file
INCLUDE linux
