I have several kernels in /boot. One of them, linux-cc, is for heavy computation, i.e., 100Hz, no preemption, no graphics. I've created a systemd target, named compute.target, that only brings the ...
According to the documentation, use of the vga= kernel parameter is deprecated as of GRUB2. The fact that some newer kernels don't seem to support it anymore on certain adapters is of no concern as ...
Short question: How can I turn on the intel_iommu setting in the Linux kernel? I run a Debian host, using the grub2 bootloader. Documentation I've seen says to edit /boot/grub/menu.lst, which seems ...
What I like about Ubuntu is that the GRUB menu always allows me to pick the latest (default) or second-latest (etc.) kernel version at boot time. In Arch Linux, I can't do that by default. The only ...