tree 9f1003f085a3a717be7530017862fa50f6668eef
parent 87499efeaa60ec03ef30f70852f5cecb3125a352
author Damon Lee <Damon.Lee@data61.csiro.au> 1564026534 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4platsupport: Update 'new_io_ops'

This commit updates the 'new_io_ops' function in regards to the addition
of the IRQ interfaces in the I/O ops interface. An additional call has
been added to initialise the IRQ interface with the I/O mapper and
malloc interface. Also add in clean-up functionality when some of the
interfaces fail to initialise.