Closed anchao closed 7 months ago
libsel4utils: fix null pointer reference
add sanity check after alloc irq_server_t
libsel4utils: fix null pointer reference
add sanity check after alloc irq_server_t