diff options
-rwxr-xr-x | rc.d/rc.sysinit | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/rc.d/rc.sysinit b/rc.d/rc.sysinit index 02e92506..b7972492 100755 --- a/rc.d/rc.sysinit +++ b/rc.d/rc.sysinit @@ -40,10 +40,21 @@ fi # Fix console loglevel /sbin/loglevel $LOGLEVEL +# Mount /proc (done here so volume labels can work with fsck) + +action "Mounting proc filesystem" mount -n -t proc /proc /proc + +# Turn off sysrq +if [ "$MAGIC_SYSRQ" = "no" ]; then + echo "0" > /proc/sys/kernel/sysrq +fi + # Set the system clock. ARC=0 SRM=0 UTC=0 + + if [ -f /etc/sysconfig/clock ]; then . /etc/sysconfig/clock @@ -55,6 +66,12 @@ if [ -f /etc/sysconfig/clock ]; then fi fi +if grep "system serial" /proc/cpuinfo | grep -q MILO ; then + ARC=true +else + SRM=true +fi + CLOCKDEF="" if [ -x /sbin/hwclock ]; then CLOCKFLAGS="--hctosys" @@ -129,15 +146,6 @@ else domainname "" fi -# Mount /proc (done here so volume labels can work with fsck) - -action "Mounting proc filesystem" mount -n -t proc /proc /proc - -# Turn off sysrq -if [ "$MAGIC_SYSRQ" = "no" ]; then - echo "0" > /proc/sys/kernel/sysrq -fi - if [ -f /fsckoptions ]; then fsckoptions=`cat /fsckoptions` else |