Development Tools
This page describes different tools used for Linux Kernel Development
Caution
Configuring system for development
sudo vim /etc/default/grub
#(If you have the following lines in your grub file, you'll need to delete them)
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
#This next line controls how long grub shows the menu before it chooses the kernel at the top of the list (which is usually the most recent kernel):
GRUB_TIMEOUT=10
#You may want to increase the GRUB_DEFAULT timeout from 10 seconds to 30 seconds or more. I set it to 60 seconds.
#Also, check that
GRUB_TIMEOUT_STYLE=menu
#After you've finished editing the grub file, you need to tell grub that you made a change, so that can re-write some automatically generated files. Run this command:
sudo update-grub2Last updated