1 //
2 // Copyright (c) 2010-2024 Antmicro
3 //
4 // This file is licensed under the MIT License.
5 // Full license text is available in 'licenses/MIT.txt'.
6 //
7 using System;
8 
9 namespace Antmicro.Renode.Peripherals
10 {
11     /// <summary>
12     /// This attribute indicates that an interrupt source (GPIO)
13     /// can be used in REPL without name when connecting to an interrupt destination
14     /// even if there are several interrupt sources within the peripheral.
15     /// </summary>
16     /// <remarks>
17     /// Only one GPIO property within a peripheral should be marked with this attribute.
18     /// </remarks>
19     [AttributeUsage(AttributeTargets.Property)]
20     public class DefaultInterruptAttribute : Attribute
21     {
22     }
23 }
24 
25