Hardware-assisted interrupt delivery optimization for virtualized embedded platforms | IEEE Conference Publication | IEEE Xplore