genode/repos/os
Sebastian Sumpf 0a8ac9fe4d gpu/intel: don't copy sesion cap for onwership check
We determine the owner of a Vram object by the session cap of the
session that created the object. We should not copy this cap to other
places because this increases reference counting, that can become very
large with many objects. Therefore, we pass a wrapper 'Owner' object
containing the cap by reference.

issue #4713
2023-02-27 08:22:48 +01:00
..
doc Remove SIGNAL/CAP/RAM services from run scripts 2022-04-13 08:08:00 +02:00
include gpu_session: add notes to interface 2023-02-27 08:22:48 +01:00
lib vfs: implement plugin for 'Capture' session 2022-04-13 09:29:03 +02:00
recipes depot: recipe for pkg/dynamic_rom 2023-02-27 08:22:47 +01:00
run nova: avoid fault during thread migration 2023-02-27 08:22:45 +01:00
src gpu/intel: don't copy sesion cap for onwership check 2023-02-27 08:22:48 +01:00
xsd Remove NIC server role from drivers 2022-05-25 12:19:31 +02:00
README API documentation refinements 2017-05-31 13:16:21 +02:00

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