Modularize base-internal headers

Issue #1952
2016-04-29 22:58:59 +02:00
parent 40a5af42eb
commit dc8690ae37
24 changed files with 876 additions and 615 deletions
--- a/repos/base-sel4/src/core/stack_area.cc
+++ b/repos/base-sel4/src/core/stack_area.cc
@@ -27,7 +27,7 @@

 /* base-internal includes */
 #include <base/internal/stack_area.h>
-#include <base/internal/platform_env_common.h>
+#include <base/internal/globals.h>

 using namespace Genode;