tree 266d7ab4de477cb630c662cc0bf93a8a2c8a97b9
parent 89360acc7e80b6f84f17642e9679c513f0f01876
author Damon Lee <Damon.Lee@data61.csiro.au> 1563844677 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4platsupport: Improve IRQ interface config

To make it easier to pass default options to the IRQ interface, the max
IRQ and notification IDs options are combined into a single struct. Also
define a simple default option to streamline the process of creating the
IRQ interface.