• Technical documents
• Emergencies
• Single Sign-On Services
• Network settings
• Serial Console Shell
  • Overview
  • Connecting To The Console Shell
  • Actions Menu
  • Changing Kernel
  • Reimaging Your Machine
  • Restarting Your Machine
  • Watchdog Rules Editor
  • Serial Console Keybindings
  • Using Putty to connect to the console shell

Changing Your Kernel

If you’re using one of our virtual machines then the kernel which you use is held outside of your virtual machine image. (Primarily a security restriction.)

If you wish to change the kernel that your machine is running you should use the actions menu to do so. (Press “Ctrl+p Ctrl+o” to display that menu.)

If you select “Change your kernel” you’ll be prompted to select the kernel you wish your machine to boot with in the future.

Once you’ve made your choice you will need to restart your machine for it to take effect.

Screenshots

Here is what the process looks like:

Confirm you wish to change kernel

Select the new kernel

Kernel Changed