tree 9fa174d843612eb3abcd540e0e31c5ca376671df
parent 0c5ade681d7b5e52252def60781c989f444b4d96
author Damon Lee <Damon.Lee@data61.csiro.au> 1562139245 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1563435999 +1000

libsel4utils: Refactor IRQ server sources

This commit refactors the existing functions in the IRQ server sources
to use the dynamic IRQ interface in libsel4platsupport.