Better section name

[ikiwiki.git] / docs / newhandbook / ConfigureKernel / index.mdwn

diff --git a/docs/newhandbook/ConfigureKernel/index.mdwn b/docs/newhandbook/ConfigureKernel/index.mdwn
index 22bc83c..01082d9 100644 (file)
--- a/docs/newhandbook/ConfigureKernel/index.mdwn
+++ b/docs/newhandbook/ConfigureKernel/index.mdwn
@@ -1,10 +1,8 @@
-
-
 # Configuring the DragonFly Kernel 
 
 ***Updated and restructured by Jim Mock. Originally contributed by Jake Hamby.***
 
-
+[[!toc  levels=3]]
 
 ## Synopsis 
 
@@ -58,7 +56,7 @@ If there is ***not*** a `/usr/src/sys` directory on your system, then the kernel
 The preferred way of installing the sources is:
 
     # cd /usr
-    # make src-checkout
+    # make src-create
     
 This will download the whole source tree via git into /usr/src. This method also allows for easy updating of the source tree by using:
 
@@ -137,7 +135,7 @@ The other steps are the same.
 
 ### Running Your New Kernel
 
-The new kernel will have been copied to the boot directory as `kernel` and the old kernel will be moved to `/boot/kernel.old`, the same applies to the modules (`/boot/modules` -> `/boot/modules.old`). Now, shutdown the system and reboot to use your new kernel. In case something goes wrong, there are some [troubleshooting](kernelconfig-trouble.html) instructions at the end of this chapter. Be sure to read the section which explains how to recover in case your new kernel [does not boot](kernelconfig-trouble.html#KERNELCONFIG-NOBOOT).
+The installer copies the new kernel and modules to `/boot/kernel/`, the kernel being `/boot/kernel/kernel` and the modules being `/boot/kernel/*.ko`. The old kernel and modules are moved to `/boot/kernel.old/`. Now, shutdown the system and reboot to use your new kernel. In case something goes wrong, there are some [troubleshooting](kernelconfig-trouble.html) instructions at the end of this chapter. Be sure to read the section which explains how to recover in case your new kernel [does not boot](kernelconfig-trouble.html#KERNELCONFIG-NOBOOT).
 
 
 **Note:** If you have added any new devices (such as sound cards), you may have to add some device nodes to your `/dev` directory before you can use them. For more information, take a look at device nodes section later on in this chapter.