Page MenuHomeFreeBSD

dev/psci: Add initial SDEI support
Needs ReviewPublic

Authored by andrew on Oct 22 2024, 5:37 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Oct 10, 4:04 AM
Unknown Object (File)
Wed, Oct 8, 11:46 PM
Unknown Object (File)
Sep 15 2025, 2:00 PM
Unknown Object (File)
Sep 12 2025, 11:20 AM
Unknown Object (File)
Sep 12 2025, 10:26 AM
Unknown Object (File)
Sep 10 2025, 10:46 PM
Unknown Object (File)
Sep 7 2025, 8:33 AM
Unknown Object (File)
Aug 26 2025, 2:41 PM
Subscribers

Details

Reviewers
manu
Group Reviewers
arm64
Summary

Add support for the Arm Software Delegated Exception Interface. This
is an interface that allows us to receive exceptions from firmware.

Currently only event 0 is supported. This is a software generated event
that is used to implement a non-maskable IPI. This is used by kdb to
ensure other CPUs are halted before entering the debugger. As real
non-maskable interrupts are a recent addition to the architecture SDEI
can be used to emulate them on existing hardware that supports it in
the firmware.

Other events are not yet supported, but could be added.

Sponsored by: Arm Ltd

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 60159
Build 57043: arc lint + arc unit