id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
unix-stackexchange-com-707		linux - Set default kernel in GRUB - Unix & Linux Stack Exchange			.html	text/html	3306	392	80	linux Set default kernel in GRUB Unix & Linux Stack Exchange Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. and for some reason the /boot/grub.cfg already assumes that I want to load the rt-kernel and put it into the generic linux menu entry (in my case Arch Linux). In some cases this works: askubuntu.com/questions/216398/… You can find the menu names by looking through this file: /boot/grub/grub.cfg http://www.humans-enabled.com/2014/08/how-to-set-default-grub-kernel-boot.html Simply doing grep 'menuentry' /boot/grub/grub.cfg lists additional entries that are not related to the actual kernel or OS versions. Browse other questions tagged linux kernel boot grub or ask your own question.	./cache/unix-stackexchange-com-707.html	./txt/unix-stackexchange-com-707.txt