From 51443fc3a505f8496ef22501b416d1a90a4cf76b Mon Sep 17 00:00:00 2001 From: watts Date: Wed, 9 Nov 2022 14:11:41 +0100 Subject: [PATCH] Update Setup Computer Debian 11 --- Setup-Computer-Debian-11.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Setup-Computer-Debian-11.md b/Setup-Computer-Debian-11.md index 30c0c58..71cfef4 100644 --- a/Setup-Computer-Debian-11.md +++ b/Setup-Computer-Debian-11.md @@ -112,7 +112,7 @@ make -j5 deb-pkg LOCALVERSION=-rt1 cd .. -sudo dpkg -i linux-headers-4.14.11-rt1_4.14.111-rt1-1_amd64.deb linux-image-4.14.111-rt1_4.14.111-rt1-1_amd64.deb +sudo dpkg -i linux-headers-4.19.177-rt1_4.19.177-rt1-1_amd64.deb linux-image-4.19.177-rt1_4.19.177-rt1-1_amd64.deb ``` @@ -137,6 +137,7 @@ make #- check that numer of CPU (in Machine (x86)) matches your computer #- check, that Net RPC is disabled (Base System -> Supported Services) #- check eager inlining (General) + #- check path to linux source tree is correct (General) sudo make install #- to test installation cd /usr/realtime/testsuite/kern/latency/