Fix #11: restore missing irqs to the device.x
file by securing generated file.
#35
Loading
device.x
file by securing generated file.
#35