genode/repos/os
Norman Feske b5fb37ddee nitpicker: invalidate dangling hovered ptr
This patch adds the missing invalidation of the _hovered pointer to
User_state::forget, which is required to cover the situation where the
owner of the hovered view vanishes.

Fixes #4011
2021-02-23 12:02:43 +01:00
..
doc
include usb_host_drv: improve error handling 2021-02-23 12:02:42 +01:00
lib nic drivers: provide optional Uplink-client mode 2021-01-25 13:58:09 +01:00
recipes os: api/net archive 2021-02-23 12:02:43 +01:00
run Remove support for the Muen separation kernel 2021-02-23 11:55:44 +01:00
src nitpicker: invalidate dangling hovered ptr 2021-02-23 12:02:43 +01:00
xsd nic drivers: provide optional Uplink-client mode 2021-01-25 13:58:09 +01:00
README

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.