#!/bin/bash

. run_profile.txt
. $base_dir/plans/commands/common.fns

kernel_info

SUT=`hostname -s`

this_kernel=`uname -r`
if [ "$this_kernel" != "$kernel_id" ]; then
    echo "Error:  Expected kernel $kernel_id, but we're on $this_kernel"
    exit 1
else
    echo "Correct kernel $kernel_id loaded"
    exit 0
fi