feat: Changed timer interrupt to 1000Hz

Author: 2b-t

src/compile_kernel_preemptrt

@@ -31,8 +31,13 @@ function install_kernel_interactive() {
   apply_patch_to_kernel "${PREEMPTRT_FILE}" "${KERNEL_FILE}"
   generate_new_kernel_configuration
   success_msg "Patch applied successfully!"
+
+  info_msg "Setting recommended PREEMPT_RT settings..."
+  set_recommended_preemptrt_settings
   info_msg "Forcing unsigned kernel..."
   unsign_kernel_configuration
+  info_msg "Override any settings if desired, else simply exit the menu..."
+  make menuconfig
 
   local INSTALLATION_MODE=$(select_installation_mode)
   if [ "${INSTALLATION_MODE}" == "Debian" ]
@@ -69,6 +74,7 @@ function install_kernel_noninteractive() {
   local PREEMPTRT_FILE=$(download_and_extract_preemptrt "${PREEMPTRT_FULL_VERSION}")
   apply_patch_to_kernel "${PREEMPTRT_FILE}" "${KERNEL_FILE}"
   generate_new_kernel_configuration
+  set_recommended_preemptrt_settings
   unsign_kernel_configuration
   generate_preemptrt_kernel_debian_package
   install_preemptrt_kernel_debian_package "${PREEMPTRT_FULL_VERSION}"

src/lib_compile_kernel.sh

@@ -194,6 +194,18 @@ function unsign_kernel_configuration() {
   find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_SYSTEM_REVOCATION_KEYS" '""'
 }
 
+function set_recommended_preemptrt_settings() {
+  declare desc="Set recommended PREEMPT_RT kernel configuration"
+  local KERNEL_CONFIG_FILE=".config"
+  comment_out_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_HZ_250"
+  find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_HZ_1000" "y"
+  find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_HZ" "1000"
+  find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_NO_HZ_IDLE" "y"
+  find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_NO_HZ" "y"
+  find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_HIGH_RES_TIMERS" "y"
+  find_and_replace_in_config "${KERNEL_CONFIG_FILE}" "CONFIG_CPU_ISOLATION" "y"
+}
+
 function select_installation_mode() {
   declare desc="Select installation modality"
   echo $(dialog --keep-tite --stdout --default-item "Debian package" --menu "Select the desired installation mode:" 0 0 5 "Debian" "Debian package" "Classic" "Install directly")