From 1656a6a3d9f6a614a04f5a1ebd3ff68fcd09e15b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Thu, 7 Jul 2022 16:55:22 +0200
Subject: [PATCH] Deleted unneeded files.

---
 src/mx/memory/global_heap.cpp | 3 ---
 src/mx/system/environment.cpp | 3 ---
 2 files changed, 6 deletions(-)
 delete mode 100644 src/mx/memory/global_heap.cpp
 delete mode 100644 src/mx/system/environment.cpp

diff --git a/src/mx/memory/global_heap.cpp b/src/mx/memory/global_heap.cpp
deleted file mode 100644
index 84e0bc0..0000000
--- a/src/mx/memory/global_heap.cpp
+++ /dev/null
@@ -1,3 +0,0 @@
-#include "global_heap.h"
-
-Genode::Heap mx::memory::GlobalHeap::_heap {system::Environment::env->ram(), system::Environment::env->rm()};
\ No newline at end of file
diff --git a/src/mx/system/environment.cpp b/src/mx/system/environment.cpp
deleted file mode 100644
index 27155dc..0000000
--- a/src/mx/system/environment.cpp
+++ /dev/null
@@ -1,3 +0,0 @@
-#include "environment.h"
-
-Genode::Env* mx::system::Environment::env = nullptr;
\ No newline at end of file