- Info
1
9
10
16
17 #ifndef _INCLUDE__BASE__ENV_H_
18 #define _INCLUDE__BASE__ENV_H_
19
20 #include <parent/capability.h>
21 #include <parent/parent.h>
22 #include <rm_session/rm_session.h>
23 #include <ram_session/ram_session.h>
24 #include <cpu_session/cpu_session.h>
25 #include <pd_session/pd_session.h>
26 #include <base/allocator.h>
27 #include <base/snprintf.h>
28 #include <base/lock.h>
29
30 namespace Genode {
31
32 class Env
33 {
34 public:
35
36 virtual ~Env() { }
37
38
41 virtual Parent *parent() = 0;
42
43
50 virtual Ram_session *ram_session() = 0;
51 virtual Ram_session_capability ram_session_cap() = 0;
52
53
58 virtual Cpu_session *cpu_session() = 0;
59
60
63 virtual Rm_session *rm_session() = 0;
64
65
68 virtual Pd_session *pd_session() = 0;
69
70
74 virtual Allocator *heap() = 0;
75 };
76
77
78 extern Env *env();
79
80
81
87 Parent_capability parent_cap();
88 }
89
90 #endif