Select TMR Manager

modulename: xilinx_tmr_manager.ko

configname: CONFIG_TMR_MANAGER

Linux Kernel Configuration
└─>Device Drivers
└─>Misc devices
└─>Select TMR Manager
In linux kernel since version 6.3 (release Date: 2023-04-23)  
This option enables the driver developed for TMR Manager.
The Triple Modular Redundancy(TMR) manager provides support for
fault detection.

Say N here unless you know what you are doing.

source code:
drivers/misc//xilinx_tmr_manager.c