ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-14 22:47:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os
History
Sebastian Sumpf f1bc791c22 gpu_session: rename Gpu::Virtual_address:va 
rename 'va' into 'value' to stay consistent with other types.

issue #4713
2023-02-27 08:22:48 +01:00
..
doc
…
include
gpu_session: rename Gpu::Virtual_address:va
2023-02-27 08:22:48 +01:00
lib
…
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_session: rename Gpu::Virtual_address:va
2023-02-27 08:22:48 +01:00
xsd
Remove NIC server role from drivers
2022-05-25 12:19:31 +02:00
README
…

README 

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