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. |