1 // 2 // Copyright (c) 2010-2018 Antmicro 3 // Copyright (c) 2011-2015 Realtime Embedded 4 // 5 // This file is licensed under the MIT License. 6 // Full license text is available in 'licenses/MIT.txt'. 7 // 8 using Antmicro.Renode.Core; 9 using Antmicro.Renode.UserInterface; 10 11 namespace Antmicro.Renode.Peripherals.IRQControllers 12 { 13 [Icon("lightning")] 14 public interface IIRQController : IGPIOReceiver 15 { 16 } 17 } 18 19