mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00:00
fb2998e534
Both 'platform_session/capability.h' and 'platform_session/connection.h' do not contain platform-specific information. By moving them from 'include/platform/imx53/platform_session/' to 'include/platform_session/', this patch enables other platforms to reuse them.