update

[l4.git] / l4 / pkg / ned / server / src / app_model.h

diff --git a/l4/pkg/ned/server/src/app_model.h b/l4/pkg/ned/server/src/app_model.h
index 5546e7b2a086629b53a51a3c4514d8fcf9040952..cd659e56b2373a9168c01c75ca9fb4fa791a53cf 100644 (file)
--- a/l4/pkg/ned/server/src/app_model.h
+++ b/l4/pkg/ned/server/src/app_model.h
@@ -1,3 +1,11 @@
+/*
+ * (c) 2010 Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
+ * This file is part of TUD:OS and distributed under the terms of the
+ * GNU General Public License 2.
+ * Please see the COPYING-GPL-2 file for details.
+ */
 #pragma once
 
 
@@ -37,6 +45,14 @@ struct App_model : public Ldr::Base_app_model<Stack>
     Default_max_prio  = 0xff,
   };
 
+  enum
+  {
+    Utcb_area_start        = 0xb3000000,
+    Default_max_threads    = 16,
+    Total_max_threads      = 128,
+    Kip_address            = 0xa0000000,
+  };
+
   typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Const_dataspace;
   typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Dataspace;
   typedef L4Re::Util::Ref_cap<L4Re::Rm>::Cap Rm;