mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-30 07:36:47 +00:00
When a GPU session is destroyed, remove vgpu of session from scheduling and as possible active vgpu. Otherwise, page faults might occur in case already destroyed vgpu object is referenced during interrupt handling. fixes #4881
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.