https://wk.redox.ws/ 2026-05-04T13:32:06+00:00 https://wk.redox.ws/ https://wk.redox.ws/lib/tpl/dokuwiki/images/favicon.ico text/html 2023-11-24T21:55:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://wk.redox.ws/linux/debian/build_kernel_rt?rev=1700862913&do=diff # Debian with PREEMPT_RT patched kernel ## Overview Theses short steps were tested on Debian Wheezy 7.4, x64 core. ## Steps Create a “workspace”, where you have some free disk space mkdir ~/rt_kern cd ~/rt_kern Get the files ! wget -c https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.14.25.tar.xz wget -c https://www.kernel.org/pub/linux/kernel/projects/rt/3.14/patch-3.14.25-rt22.patch.xz text/html 2023-11-24T21:55:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://wk.redox.ws/linux/debian/create_pkg?rev=1700862913&do=diff # Create a .deb pkg from a source ## Requirement build-essential dh-make ## Create the debian/ folder dh_make -n # Read the doc: dh_make -h for more details <http://debian-handbook.info/browse/stable/sect.building-first-package.html> text/html 2023-11-24T21:55:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://wk.redox.ws/linux/debian/start?rev=1700862913&do=diff # Debian