mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-24 21:09:47 +00:00
Fixes sporadic null-pointer dereferences like [init -> nic_drv] Error: illegal READ at address 0x204 by pager_object: pd='init -> nic_drv' thread='ep' ip=0x86467