update: sync

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk@55 d050ee49-bd90-4346-b210-929a50b99cfc

diff --git a/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/types.h b/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/types.h
deleted file mode 100644 (file)
index 80d5f33..0000000
--- a/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/types.h
+++ /dev/null
@@ -1,35 +0,0 @@
-/**
- * \file
- * \brief   L4 kernel API type definitions
- * \ingroup l4_api
- */
-/*
- * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
- *               Alexander Warg <warg@os.inf.tu-dresden.de>,
- *               Torsten Frenzel <frenzel@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.
- *
- * As a special exception, you may use this file as part of a free software
- * library without restriction.  Specifically, if other files instantiate
- * templates or use macros or inline functions from this file, or you compile
- * this file and link it with other files to produce an executable, this
- * file does not by itself cause the resulting executable to be covered by
- * the GNU General Public License.  This exception does not however
- * invalidate any other reasons why the executable file might be covered by
- * the GNU General Public License.
- */
-#pragma once
-
-#include <l4/sys/compiler.h>
-#include <l4/sys/consts.h>
-#include <l4/sys/l4int.h>
-#include_next <l4/sys/types.h>
-
-#include <l4/sys/__l4_fpage.h>
-
-#include <l4/sys/__timeout.h>
-

diff --git a/l4/pkg/l4sys/include/ARCH-arm/types.h b/l4/pkg/l4sys/include/ARCH-arm/types.h
deleted file mode 100644 (file)
index f3990ce..0000000
--- a/l4/pkg/l4sys/include/ARCH-arm/types.h
+++ /dev/null
@@ -1,80 +0,0 @@
-/**
- * \file
- * \brief Types for ARM
- */
-/*
- * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
- *               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.
- *
- * As a special exception, you may use this file as part of a free software
- * library without restriction.  Specifically, if other files instantiate
- * templates or use macros or inline functions from this file, or you compile
- * this file and link it with other files to produce an executable, this
- * file does not by itself cause the resulting executable to be covered by
- * the GNU General Public License.  This exception does not however
- * invalidate any other reasons why the executable file might be covered by
- * the GNU General Public License.
- */
-#ifndef L4_TYPES_H
-#define L4_TYPES_H
-
-#include_next <l4/sys/types.h>
-
-#include <l4/sys/l4int.h>
-#include <l4/sys/compiler.h>
-#include <l4/sys/consts.h>
-
-#include <l4/sys/__l4_fpage.h>
-
-#include <l4/sys/__timeout.h>
-
-/**
- * \brief l4_schedule param word
- */
-/*
-typedef union {
-  struct {
-    l4_umword_t prio     :8;
-    l4_umword_t small    :8;
-    l4_umword_t state    :4;
-    l4_umword_t time_exp :4;
-    l4_umword_t time_man :8;
-  } sp;
-  l4_umword_t sched_param;
-  l4_umword_t raw;
-} l4_sched_param_t;
-
-#define L4_INVALID_SCHED_PARAM ((l4_sched_param_t){raw:(l4_umword_t)-1})
-*/
-
-/* Compute l4_sched_param_struct_t->small argument for
-   l4_thread_schedule(): size_mb is the size of all small address
-   spaces, and nr is the number of the small address space.  See
-   Liedtke: ``L4 Pentium implementation'' */
-//#define L4_SMALL_SPACE(size_mb, nr) ((size_mb >> 2) + nr * (size_mb >> 1))
-
-/*
- * Some useful operations and test functions for id's and types
- */
-
-//L4_INLINE int        l4_is_invalid_sched_param (l4_sched_param_t sp);
-
-/*-----------------------------------------------------------------------------
- * IMPLEMENTATION
- *---------------------------------------------------------------------------*/
-/*
-L4_INLINE int l4_is_invalid_sched_param(l4_sched_param_t sp)
-{
-  return sp.raw == (l4_umword_t)-1;
-}
-*/
-
-
-#endif /* L4_TYPES_H */ 
-
-

diff --git a/l4/pkg/l4sys/include/ARCH-ppc32/types.h b/l4/pkg/l4sys/include/ARCH-ppc32/types.h
deleted file mode 100644 (file)
index f330687..0000000
--- a/l4/pkg/l4sys/include/ARCH-ppc32/types.h
+++ /dev/null
@@ -1,35 +0,0 @@
-/**
- * \file
- * \brief Types for PPC32
- */
-/*
- * (c) 2008-2009 Adam Lackorzynski <adam@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.
- *
- * As a special exception, you may use this file as part of a free software
- * library without restriction.  Specifically, if other files instantiate
- * templates or use macros or inline functions from this file, or you compile
- * this file and link it with other files to produce an executable, this
- * file does not by itself cause the resulting executable to be covered by
- * the GNU General Public License.  This exception does not however
- * invalidate any other reasons why the executable file might be covered by
- * the GNU General Public License.
- */
-#ifndef L4_TYPES_H
-#define L4_TYPES_H
-
-#include_next <l4/sys/types.h>
-
-#include <l4/sys/l4int.h>
-#include <l4/sys/compiler.h>
-#include <l4/sys/consts.h>
-
-#include <l4/sys/__l4_fpage.h>
-
-#include <l4/sys/__timeout.h>
-
-#endif /* L4_TYPES_H */

diff --git a/l4/pkg/l4sys/include/ARCH-sparc/types.h b/l4/pkg/l4sys/include/ARCH-sparc/types.h
deleted file mode 100644 (file)
index c6b07c6..0000000
--- a/l4/pkg/l4sys/include/ARCH-sparc/types.h
+++ /dev/null
@@ -1,36 +0,0 @@
-/**
- * \file
- * \brief Types for SPARC
- */
-/*
- * (c) 2010    Adam Lackorzynski <adam@os.inf.tu-dresden.de>
- *             Björn Döbel <doebel@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.
- *
- * As a special exception, you may use this file as part of a free software
- * library without restriction.  Specifically, if other files instantiate
- * templates or use macros or inline functions from this file, or you compile
- * this file and link it with other files to produce an executable, this
- * file does not by itself cause the resulting executable to be covered by
- * the GNU General Public License.  This exception does not however
- * invalidate any other reasons why the executable file might be covered by
- * the GNU General Public License.
- */
-#ifndef __ARCH__L4_TYPES_H
-#define __ARCH__L4_TYPES_H
-
-#include_next <l4/sys/types.h>
-
-#include <l4/sys/l4int.h>
-#include <l4/sys/compiler.h>
-#include <l4/sys/consts.h>
-
-#include <l4/sys/__l4_fpage.h>
-
-#include <l4/sys/__timeout.h>
-
-#endif /* __ARCH__L4_TYPES_H */

diff --git a/l4/pkg/l4sys/include/ARCH-x86/L4API-l4f/types.h b/l4/pkg/l4sys/include/ARCH-x86/L4API-l4f/types.h
deleted file mode 100644 (file)
index 49194bf..0000000
--- a/l4/pkg/l4sys/include/ARCH-x86/L4API-l4f/types.h
+++ /dev/null
@@ -1,34 +0,0 @@
-/**
- * \file
- * \brief   L4 kernel API type definitions
- * \ingroup l4_api
- */
-/*
- * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
- *               Alexander Warg <warg@os.inf.tu-dresden.de>,
- *               Lars Reuther <reuther@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.
- *
- * As a special exception, you may use this file as part of a free software
- * library without restriction.  Specifically, if other files instantiate
- * templates or use macros or inline functions from this file, or you compile
- * this file and link it with other files to produce an executable, this
- * file does not by itself cause the resulting executable to be covered by
- * the GNU General Public License.  This exception does not however
- * invalidate any other reasons why the executable file might be covered by
- * the GNU General Public License.
- */
-#pragma once
-
-#include <l4/sys/compiler.h>
-#include <l4/sys/consts.h>
-#include <l4/sys/l4int.h>
-#include_next <l4/sys/types.h>
-
-#include <l4/sys/__l4_fpage.h>
-
-#include <l4/sys/__timeout.h>