User Tools
technical:linuxkernel
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| technical:linuxkernel [2022/08/10 13:31] – created jc | technical:linuxkernel [2024/12/14 09:11] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Linux Kernel ====== | ====== Linux Kernel ====== | ||
| + | < | ||
| + | # Compile a Preemptible Real-Time Linux Kernel | ||
| + | ``` bash | ||
| + | # Build and compile a Real Time Linux kernel | ||
| + | version=" | ||
| + | kernel_src=" | ||
| + | |||
| + | get_kernel_src () { | ||
| + | curl -O $kernel_src | ||
| + | tar -xvf linux-$version.tar.xz | ||
| + | cd linux-$version | ||
| + | } | ||
| + | |||
| + | build_kernel () { | ||
| + | cp / | ||
| + | make menuconfig | ||
| + | # Activate “Fully Preemptible Kernel (Real-Time)” option from “General setup” / “Preemption Model” then SAVE and EXIT. | ||
| + | sudo make | ||
| + | } | ||
| + | |||
| + | install_kernel () { | ||
| + | sudo make moudules_install | ||
| + | sudo make install | ||
| + | } | ||
| + | </ | ||
technical/linuxkernel.1660152714.txt.gz · Last modified: 2022/08/10 13:31 by jc