genode/x86 at b87a82784cdba62853f52bdbaeb62a6aa51733e2 - genode - Gitea

ExternalVendorCode/genode

mirror of https://github.com/genodelabs/genode.git synced 2025-05-08 11:38:10 +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