public override string ToString() { return($"IrqSource; priority: {Priority}, state: {State}, is pending: {IsPending}, has enabled targets: {EnabledTargets.Any()}"); }