#!/bin/bash source /opt/rtems.bash ./experiment_cas5.sh $1