diff options
author | jim-p <jimp@pfsense.org> | 2012-11-20 09:32:25 -0500 |
---|---|---|
committer | jim-p <jimp@pfsense.org> | 2012-11-20 09:45:15 -0500 |
commit | bff167fd3510fe6e9948e80cd19ba30d299fffe3 (patch) | |
tree | 5559b5dd45e76576addc27aa420abcb0980f11ba /etc/rc.initial.firmware_update | |
parent | c0f613e29849bd929797d5005a45e281c05b7754 (diff) | |
download | pfsense-bff167fd3510fe6e9948e80cd19ba30d299fffe3.zip pfsense-bff167fd3510fe6e9948e80cd19ba30d299fffe3.tar.gz |
Remove other potential places where someone could select a kernel we no longer ship. Try to improve kernel detection a little more.
Diffstat (limited to 'etc/rc.initial.firmware_update')
-rwxr-xr-x | etc/rc.initial.firmware_update | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/etc/rc.initial.firmware_update b/etc/rc.initial.firmware_update index c53b115..722a1f5 100755 --- a/etc/rc.initial.firmware_update +++ b/etc/rc.initial.firmware_update @@ -155,25 +155,17 @@ function check_for_kernel_file() { } if(!file_exists("/boot/kernel/pfsense_kernel.txt")) { echo "\nPlease select which kernel you would like to use:\n"; - echo "\n1. Non SMP kernel"; - echo "\n2. SMP kernel"; - echo "\n3. Embedded kernel (no video or keyboard)"; - echo "\n4. Developers kernel (slower performing, more debugging)\n"; + echo "\n1. Standard Kernel"; + echo "\n2. Embedded kernel (no video or keyboard)"; echo "\nPlease enter a number [1-4]: "; $selection = strtoupper(chop(fgets($fp))); switch ($selection) { case "1": - exec("echo UP > /boot/kernel/pfsense_kernel.txt"); - break; - case "2": exec("echo SMP > /boot/kernel/pfsense_kernel.txt"); break; - case "3": + case "2": exec("echo wrap > /boot/kernel/pfsense_kernel.txt"); break; - case "4": - exec("echo Developers > /boot/kernel/pfsense_kernel.txt"); - break; } echo "\n"; } |