seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Extend maintenance to handle multiple LRs at a time

Open JorgeMVP opened this issue 1 year ago • 0 comments

  • Supports handling multiple EOIed IRQs per fault IPC msg.

This patch depends on: https://github.com/seL4/seL4/pull/1046

Signed-off-by: JorgeMVP [email protected]

JorgeMVP avatar May 28 '23 09:05 JorgeMVP