Nit

utcs-scea · Dec 7, 2024 · 391533e · 391533e
1 parent 446b7a0
commit 391533e
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/module/MODULE.md b/module/MODULE.md
@@ -43,14 +43,16 @@ In the case with this menu:
 Something like:
 `GRUB_DEFAULT="Advanced options for Ubuntu>Ubuntu, with Linux 4.14.31-041431-generic"`
 
-Then the following is sufficient to ensure things work:
+### Booting Into the New Kernel
 
-Where `"1>0"` is the short string corresponding to the kernel you want to boot into.
+Then the following will help boot into the new kernel after the installation.
 
 ```shell
 sudo grub-reboot "1>0" && sudo reboot
 ```
 
+Where `"1>0"` is the short string corresponding to the kernel you want to boot into.
+
 ## Build and Deploy Kernel
 
 This should mostly be handled by `make -C module -j$(nproc) ${MODULE}/lib`.