tree 8d669febb6b75292250ccf74dd53cda5cec4279b
parent 551b34416311dbbf4a4cf929b02a322299817a89
author Damon Lee <Damon.Lee@data61.csiro.au> 1562137366 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1563435957 +1000

libsel4utils: Update overview of the IRQ server

Since some of the functionality has changed, we update parts of the
overview documentation to reflect this.