kernelconfig_penguin
depends
CONFIG_ARM64

ARM Software Delegated Exception Interface (SDEI)

modulename: arm_sdei.ko

and/or

sdei.ko
configname: CONFIG_ARM_SDE_INTERFACE

Linux Kernel Configuration
└─> 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