diff options
| -rw-r--r-- | src/mkkerneldoth | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/mkkerneldoth b/src/mkkerneldoth index bba0ab78..02872814 100644 --- a/src/mkkerneldoth +++ b/src/mkkerneldoth @@ -3,8 +3,8 @@ # Generate a header that defines the boot kernel. # -KERNEL_TYPE=`uname -r | sed 's_^.*\(smp\|enterprise\)$_-\1_;t;s_.*__;'` -KERNEL_RELEASE=`uname -r | sed 's|smp\|enterprise||g'` +KERNEL_TYPE=`uname -r | sed 's_^.*\(smp\|enterprise\|bigmem\)$_-\1_;t;s_.*__;'` +KERNEL_RELEASE=`uname -r | sed 's|smp\|enterprise\|bigmem||g'` rpm -q kernel$KERNEL_TYPE-$KERNEL_RELEASE >/dev/null 2>&1 && KERNEL_ARCH=`rpm -q --qf '%{ARCH}' kernel$KERNEL_TYPE-$KERNEL_RELEASE 2>/dev/null` || KERNEL_ARCH=`uname -m` @@ -13,9 +13,11 @@ if [ -n "$KERNEL_ARCH" -a "$KERNEL_ARCH$KERNEL_TYPE" != "$OLD_KERNEL_ARCH_TYPE" ENTERPRISE='0' SMP='0' UP='0' + BIGMEM='0' case "$KERNEL_TYPE" in -smp) SMP='1';; -enterprise) ENTERPRISE='1';; + -bigmem) BIGMEM='1';; *) UP='1';; esac cat > /boot/kernel.h << EOF @@ -33,6 +35,10 @@ if [ -n "$KERNEL_ARCH" -a "$KERNEL_ARCH$KERNEL_TYPE" != "$OLD_KERNEL_ARCH_TYPE" #define __BOOT_KERNEL_ENTERPRISE $ENTERPRISE #endif +#ifndef __BOOT_KERNEL_BIGMEM +#define __BOOT_KERNEL_BIGMEM $BIGMEM +#endif + #ifndef __BOOT_KERNEL_SMP #define __BOOT_KERNEL_SMP $SMP #endif |