Changes between Version 3 and Version 4 of Tools/Mutekh


Ignore:
Timestamp:
Feb 1, 2009, 1:21:17 AM (15 years ago)
Author:
becoulet
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Tools/Mutekh

    v3 v4  
    33== General presentation ==
    44
    5 MutekH is a portable operating system optimised for heterogeneous MPSoC architectures.
     5MutekH is a portable operating system developed at [http://www-asim.lip6.fr/ Lip6-soc].
     6
    67MutekH is a set of libraries build on top of the Hexo exo-kernel. This exo-kernel defines the Hardware Abstraction Layer, providing both portability and support for heterogeneity.
    78
    8 Hexo has been ported  on several hardware platforms
    9  * MIPS processor based MPSoCs architectures modeled with SoCLib
    10  * PPC processor based MPSoC architectures modeled with SoCLib
    11  * PC plalforms using multi-cores x86 processors
     9Hexo has been ported  on several platforms:
     10 * MIPS processor based MPSoCs architectures modeled with SoCLib.
     11 * PPC processor based MPSoC architectures modeled with SoCLib.
     12 * Multi-processors x86 based PC plalforms.
     13 * Runs wrapped in a linux process on x86 and x86-64 platforms.
    1214
    13 The libraries currently available are :
    14  * Native Posix Threads (libpthread)
    15  * Standard C library (libc) 
    16  * TCP/IP protocol stack (libnetwork)
     15Currently available libraries are:
     16 * Several devices drivers for PC and SoCLib platforms.
     17 * Native Posix Threads implementation (libpthread).
     18 * Standard C library implementation (libc).
     19 * File systems support (libvfs) along with file system drivers like vfat.
     20 * TCP/IP protocol stack (libnetwork).
     21 * The famous [http://www.lua.org lua] lightweight script language interpreter (liblua).
     22 * A [http://savannah.nongnu.org/projects/libtermui/ terminal user interface library] with history and completion (libtermui).
    1723
    1824Other libraries are under development:
    19  * File system support (libvfs) along with file system drivers
    20  * Unix kernel API (libunix)
     25 * Unix kernel API (libunix).
    2126
    2227== More Information ==