| 23 | | = Usage = |
| | 23 | == Embedded Os support == |
| | 24 | |
| | 25 | SoCLib platforms are able to run several operating systems: |
| | 26 | * [wiki:Tools/Muteka DNA/OS] : DNA/OS is a micro-kernel for MPSoCs. It supersedes MutekA, and still provides the POSIX thread API. |
| | 27 | * [http://www.mutekh.org/ MutekH] : Exo-kernel based OS for classical and heterogeneous MPSoCs with POSIX threads support |
| | 28 | * [http://www.netbsd.org/ NetBSD] : Highly portable Unix-like Open Source operating system |
| | 29 | * [http://ecos.sourceware.org/ eCos] : An open source, royalty-free, real-time operating system intended for embedded applications. |
| | 30 | * [http://www.rtems.com/ RTEMS] : Real-Time Operating System for Multiprocessor Systems |
| | 31 | |
| | 32 | == SoCLib Tools == |
| | 33 | |
| | 34 | Various tools comes along with SoCLib to ease research and development: |
| | 35 | * [wiki:Tools/Dsx DSX] : Design Space Exploration tool |
| | 36 | * [wiki:Tools/SystemCass SystemCASS] : Fast SystemC simulation kernel |
| | 37 | * [wiki:Tools/SocView SoCView] : Interactive simulation environment for debug and instrumentation |
| | 38 | * [wiki:Tools/GdbServer GdbServer] : A GDB server for multi-processor architectures |
| | 39 | * [wiki:Tools/MemoryChecker MemoryChecker] : A memory access error checker similar to valgrind. |
| | 40 | * [wiki:Tools/GAUT GAUT] : A high-level synthesis tool allowing to generate automatically systemC CABA and TLM-T files. |
| | 41 | |
| | 42 | == Middleware == |
| | 43 | |
| | 44 | * [wiki:Tools/Mwmr MWMR] : Hardware / Software communication middleware |
| | 45 | |
| | 46 | = Using SoCLib = |
| 42 | | |
| 43 | | == Middleware == |
| 44 | | |
| 45 | | * [wiki:Tools/Mwmr MWMR] : Hardware / Software communication middleware |
| 46 | | |
| 47 | | == SoCLib guest OS support == |
| 48 | | |
| 49 | | * [wiki:Tools/Muteka DNA/OS] : DNA/OS is a micro-kernel for MPSoCs. It supersedes MutekA, and still provides the POSIX thread API. |
| 50 | | * [http://www.mutekh.org/ MutekH] : Exo-kernel based OS for classical and heterogeneous MPSoCs with POSIX threads support |
| 51 | | * [http://www.netbsd.org/ NetBSD] : Highly portable Unix-like Open Source operating system |
| 52 | | * [http://ecos.sourceware.org/ eCos] : An open source, royalty-free, real-time operating system intended for embedded applications. |
| 53 | | * [http://www.rtems.com/ RTEMS] : Real-Time Operating System for Multiprocessor Systems |
| 54 | | |
| 55 | | == SoCLib Tools == |
| 56 | | |
| 57 | | * [wiki:Tools/Dsx DSX] : Design Space Exploration tool |
| 58 | | * [wiki:Tools/SystemCass SystemCASS] : Fast SystemC simulation kernel |
| 59 | | * [wiki:Tools/SocView SoCView] : Interactive simulation environment for debug and instrumentation |
| 60 | | * [wiki:Tools/GdbServer GdbServer] : A GDB server for multi-processor architectures |
| 61 | | * [wiki:Tools/MemoryChecker MemoryChecker] : A memory access error checker similar to valgrind. |
| 62 | | * [wiki:Tools/GAUT GAUT] : A high-level synthesis tool allowing to generate automatically systemC CABA and TLM-T files. |