denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

platform_session: Add missing include.

Browse Source 
The code uses Genode::Attached_dataspace but fails to include header
defining this type.

Fixes #3824
This commit is contained in:
Piotr Tworek
2020-07-01 00:34:22 +02:00
committed by Christian Helmuth
parent cd7a6fc9fe
commit d8539af412
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/os/include/spec/arm/platform_session/connection.h
View File

@@ -14,6 +14,7 @@
#ifndef _INCLUDE__SPEC__ARM__PLATFORM_SESSION__CONNECTION_H_
#define _INCLUDE__SPEC__ARM__PLATFORM_SESSION__CONNECTION_H_
#include <base/attached_dataspace.h>
#include <base/connection.h>
#include <base/env.h>
#include <platform_session/client.h>