genode/x86 at 6e14aa4364cdbeacbaef385f50f71b0193da7d86 - genode - Gitea

ExternalVendorCode/genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-04 02:01:53 +00:00

History

Alexander Boettcher 6e66e51088 platform_drv: use ram_session_guard

Issue #1039

2016-11-30 13:37:06 +01:00

..

platform_device

base: avoid use of deprecated base/printf.h

2016-08-29 17:27:10 +02:00

platform_session

platform_drv: use ram_session_guard

2016-11-30 13:37:06 +01:00