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

init: make 'Server' class usable by external components

Browse Source 
Issue #2574
This commit is contained in:
Christian Prochaska
2017-11-13 16:25:37 +01:00
committed by Christian Helmuth
parent a110fef4d9
commit 41b3d3abc1
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/init/server.cc
View File

@@ -16,7 +16,7 @@
#include <os/session_policy.h>
/* local includes */
#include <server.h>
#include "server.h"
/***************************

8
repos/os/src/init/server.h
View File

@@ -18,10 +18,10 @@
#include <base/attached_rom_dataspace.h>
/* local includes */
#include <types.h>
#include <service.h>
#include <buffered_xml.h>
#include <state_reporter.h>
#include "types.h"
#include "service.h"
#include "buffered_xml.h"
#include "state_reporter.h"
namespace Init { class Server; }

2
repos/os/src/init/state_reporter.h
View File

@@ -19,7 +19,7 @@
#include <timer_session/connection.h>
/* local includes */
#include <report.h>
#include "report.h"
namespace Init { class State_reporter; }