実行カーネルの英語

/usr/src/linuxへ移動して、カーネル設定を行うためにmakemenuconfigを実行します。例文帳に追加

So manoeuvre to /usr/src/linux and run make menuconfig to enter the kernel configuration. - Gentoo Linux

stime %luプロセスのカーネルモードでの実行時間 (単位 jiffies)。例文帳に追加

stime %lu Amount of time that this process has been scheduled in kernel mode, measured in clock ticks (divide by sysconf(_SC_CLK_TCK) .発音を聞く  - JM

起動中のカーネルに適当なDRMモジュールを読み込ませるために、カーネルモジュールを/lib/modules/`uname-r`/kernel/drivers/char/drm/にコピーし、modules-updateを実行してXサーバを再起動してください。例文帳に追加

Important: Remember, both your video card information and your motherboard information must show the same FW capability. - Gentoo Linux

最初に、ブートローダが、ブートローダの設定で指定されたカーネルイメージをメモリにロードし、その後、カーネルを実行するようにCPUに命じます。例文帳に追加

First, your boot loader will load the kernel image you have defined in the boot loader configuration into memory after which it tells the CPU to run the kernel. - Gentoo Linux

カーネルの更新もしくは再コンパイルが完了したら、再起動する前にmodule-rebuildrebuildを実行してドライバーを新しいカーネル向けに再ビルドします。例文帳に追加

Once you have finished upgrading or recompiling your kernel, runmodule-rebuild rebuild to rebuild the drivers for your new kernel.発音を聞く  - Gentoo Linux

カーネルのコンパイル、または再コンパイルが完了したら、新しいカーネル用のドライバを再ビルドするため、module-rebuildrebuildを実行してください。例文帳に追加

Once you've finished compiling or recompiling a kernel, just runmodule-rebuild rebuild to rebuild the drivers for your new kernel.発音を聞く  - Gentoo Linux

カーネル空間１３１で実行され、ＯＳ１０１のカーネルにフックされるソフトウェアとしてエクセプションハンドラ１３３を設ける。例文帳に追加

An exception handler 133 is provided as software that is executed in a kernel space 131 and that is hooked to the kernel of an OS 101. - 特許庁

ただし FreeBSD 3.0 とそれ以降のシステムの場合はカーネルのサイズは小さくなりますし、デバッグカーネルを実行する時のパフォーマンスの低下もありません。 また、そのカーネルはシステムがパニックした場合に有用です。例文帳に追加

Note that there will be little or no performance decrease from running a debug kernel, and it is useful to keep one around in case of a system panic.発音を聞く  - FreeBSD