genode/repos/os/include/gpu_session
Josef Söntgen 3b40790e02 gpu: use Buffer_id to identify buffers
Rather than using the dataspace capability directly, let the client
choose its own local identifier that is linked to the underlying
capability.

Fixes #4265.
2021-10-13 14:46:52 +02:00
..
capability.h os: add Gpu driver for Intel Gen8 HD graphics 2017-08-30 09:59:57 +02:00
client.h gpu: use Buffer_id to identify buffers 2021-10-13 14:46:52 +02:00
connection.h gpu/intel: handle double insertion in PPGTT 2021-08-18 15:06:11 +02:00
gpu_session.h gpu: use Buffer_id to identify buffers 2021-10-13 14:46:52 +02:00