#!/bin/sh
echo ""
echo "hprepset version 1.00"
echo "HP BIOS Configuration Driver for Linux, Version 1.00"
echo "Copyright (c) 2004 Hewlett-Packard Development Company, L.P."
echo ""
if [ "$1" = "R" ] || [ "$1" = "r" ] || [ "$1" = "W" ] || [ "$1" = "w" ]
then
  mknod /dev/hpBIOScfg c 250 0
  if [ "$1" = "R" ] || [ "$1" = "r" ]
  then
    insmod hpBIOScfg.o fn=2
    cat /dev/hpBIOScfg > $2
  else
    insmod hpBIOScfg.o fn=3
    cat $2 > /dev/hpBIOScfg
  fi
  tail /var/log/messages
  rmmod hpBIOScfg
  rm /dev/hpBIOScfg
else
  echo "usage:"
  echo " hprepset { R | W } <FileName>"
  echo "       R = retrieve the BIOS settings to FileName"
  echo "       W = change the BIOS settings based on FileName"
  echo ""
fi
