kernelconfig_penguin

ARM Software Delegated Exception Interface (SDEI)

modulename: arm_sdei.ko

and/or

sdei.ko
configname: CONFIG_ARM_SDE_INTERFACE

Linux Kernel Configuration
└─> Device Drivers
└─> Firmware Drivers
└─> ARM Software Delegated Exception Interface (SDEI)

The Software Delegated Exception Interface (SDEI) is an ARM
standard for registering callbacks from the platform firmware
into the OS. This is typically used to implement RAS notifications.


source code:


drivers/firmware/arm_sdei.c