Lines Matching refs:kernel

29 The kernel will need to be loaded into RAM by RedBoot (or by some alternative
30 boot loader) before it can be run. The kernel image (arch/frv/boot/Image) may
46       The following command will download a raw binary kernel image from the
55       The following command will download a raw binary kernel image across the
78 This will start the kernel running. Note that if the GDB-stub is compiled in,
79 then the kernel will immediately wait for GDB to connect over serial before
80 doing anything else. See the section on kernel debugging with GDB.
82 The kernel command line <CMDLINE> tells the kernel where its console is and
122       "Documentation/kernel-parameters.txt".
149       kernel the IP address of the NFS server providing its root filesystem,
161       Turns on the kernel profiler (accessible through /proc/profile).
166       above. I tells the kernel to pass the console output to GDB if the
167       gdbstub is compiled in to the kernel.
174       Normally the kernel will work out how much SDRAM it has by reading the
176       option. This allows the kernel to be told that it has <xxx> megabytes of
181       This tells the kernel what program to run initially. By default this is