Developer Guide

  • 2022.3
  • 10/25/2022
  • Public Content

Enable Intel® TCC Baseline Support

The baseline support for Intel® TCC consists of a real-time Linux* kernel and the Intel® TCC Mode in the BIOS. These features may be sufficient to satisfy many use cases, with initial cycle times possible in the hundreds of microseconds.


  • Processor with support for Intel® TCC, such as Intel® i7-1185GRE, i5-1145GRE, and i3-1115GRE processors (The complete list of compatible devices is on the TCC Tools webpage.)
  • BIOS with support for Intel® TCC, such as Intel’s reference BIOS

Enable the Intel® TCC Mode in the BIOS

The reference BIOS may differ from BIOS versions offered by BIOS vendors. If you cannot find Intel® TCC Mode in the BIOS, contact your BIOS vendor for more information.
  1. Go to the
  2. In the BIOS, navigate to
    Intel Advanced Menu > Intel® Time Coordinated Computing
  3. Set
    Intel® TCC Mode

Configure, Build, and Install Intel’s Linux* kernel with Real-Time Support

  1. Install required dependencies:
    sudo apt -y install build-essential gcc bc bison flex libssl-dev libncurses5-dev libelf-dev dwarves zstd
  2. Clone Intel’s Linux* kernel git repository:
    git clone
  3. Enter the newly created directory:
    cd linux-intel-lts
  4. Reset to the latest 5.15 RT tag:
    git reset --hard lts-v5.15.49-rt47-preempt-rt-220718T080310Z
  5. Create a .config file:
    make olddefconfig
  6. Configure the kernel EI for AMR options:
    scripts/config --module CONFIG_VIDEO_INTEL_IPU scripts/config --enable CONFIG_VIDEO_INTEL_IPU_SOC scripts/config --disable CONFIG_VIDEO_INTEL_IPU_FW_LIB scripts/config --enable CONFIG_VIDEO_INTEL_IPU_USE_PLATFORMDATA scripts/config --enable CONFIG_V4L_PLATFORM_DRIVERS scripts/config --module CONFIG_VIDEO_LT6911UXC scripts/config --disable CONFIG_VIDEO_CRLMODULE scripts/config --disable CONFIG_VIDEO_INTEL_IPU_PDATA_DYNAMIC_LOADING scripts/config --module CONFIG_VIDEO_IMX390 scripts/config --module CONFIG_VIDEO_TI960 scripts/config --module CONFIG_VIDEO_INTEL_IPU6 scripts/config --module CONFIG_VIDEO_AR0234 scripts/config --module CONFIG_PINCTRL_TIGERLAKE scripts/config --enable CONFIG_INTEL_IPU6_TGLRVP_PDATA scripts/config --set-str SYSTEM_TRUSTED_KEYS "" scripts/config --set-str CONFIG_SYSTEM_REVOCATION_KEYS ""
  7. Configure the Intel® TCC-related options:
    scripts/config --module CONFIG_X86_TCC_PTCM
  8. Build the kernel:
    make deb-pkg -j8
  9. Install the kernel:
    cd ../ && sudo dpkg -i linux-*.deb
  10. Modify the kernel command line for the selected kernel by adding these options to /etc/default/grub:
    apparmor=1 security=apparmor art=virtallow udmabuf.list_limit=8192 processor.max_cstate=0 intel.max_cstate=0 processor_idle.max_cstate=0 intel_idle.max_cstate=0 clocksource=tsc tsc=reliable nowatchdog intel_pstate=disable idle=poll rcupdate.rcu_cpu_stall_suppress=1 irqaffinity=0 mce=off hpet=disable numa_balancing=disable igb.blacklist=no efi=runtime hugepages=1024 nmi_watchdog=0 i915.force_probe=* i915.enable_rc6=0 i915.enable_dc=0 i915.disable_power_well=0 isolcpus rcu_nocbs noht nosoftlockup rcu_nocb_poll vt.handoff=7 i915.enable_guc=2
  11. Make the new kernel the default by modifying /etc/default/grub:
    GRUB_DEFAULT="Advanced options for Ubuntu>Ubuntu, with Linux v5.15.49-rt47"
  12. Update grub:
    sudo update-grub
  13. Reboot the board:
    sudo reboot -fn

Product and Performance Information


Performance varies by use, configuration and other factors. Learn more at