diff --git a/repos/os/src/server/nic_bridge/ram_session_guard.h b/repos/os/include/os/ram_session_guard.h similarity index 90% rename from repos/os/src/server/nic_bridge/ram_session_guard.h rename to repos/os/include/os/ram_session_guard.h index 7f1d6d8d10..97103df353 100644 --- a/repos/os/src/server/nic_bridge/ram_session_guard.h +++ b/repos/os/include/os/ram_session_guard.h @@ -11,8 +11,8 @@ * under the terms of the GNU General Public License version 2. */ -#ifndef _RAM_SESSION_GUARD_H_ -#define _RAM_SESSION_GUARD_H_ +#ifndef _INCLUDE__OS__RAM_SESSION_GUARD_H_ +#define _INCLUDE__OS__RAM_SESSION_GUARD_H_ #include #include @@ -60,4 +60,4 @@ class Genode::Ram_session_guard : public Genode::Ram_session size_t used() override { return _used; } }; -#endif /* _RAM_SESSION_GUARD_H_ */ +#endif /* _INCLUDE__OS__RAM_SESSION_GUARD_H_ */ diff --git a/repos/os/src/server/nic_bridge/component.h b/repos/os/src/server/nic_bridge/component.h index 4474528008..797b2c9793 100644 --- a/repos/os/src/server/nic_bridge/component.h +++ b/repos/os/src/server/nic_bridge/component.h @@ -20,6 +20,7 @@ #include #include #include +#include #include #include #include @@ -28,7 +29,6 @@ #include #include #include -#include namespace Net { class Stream_allocator;