##################################################################
# File.....: /etc/rc.d/rc.platform.conf
# Purpose..: User-serviceable configuration settings for the
#            Hardware Model post OS boot platform setup scripts
#            The configuration settings here are used by the
#            individual Hardware Model loader scripts within
#            /etc/rc.d/rc.platform.d/<arch>
# Called by: /etc/rc.d/rc.platform (parent caller: /etc/rc.d/rc.M)
##################################################################

# This is a bash shell script 'sourced' from /etc/rc.d/rc.platform
# prior to loading the helper scripts contained within
# /etc/rc.d/rc.platform.d/<arch>
# Therefore, this enables you to add any shell script to make
# any local configurations on your particular Hardware Model.
# You can think of this as another /etc/rc.d/rc.local
# Indeed /etc/rc.d/rc.platform is called immediately prior to
# rc.local.

# There presently are no settings nor helper scripts for the
# 32bit ARM Hardware Models.